#include "libc/sysv/macros.internal.h"
.scall sys_clock_gettime,0x1ab0570e8ffff0e4,0x071,globl,hidden