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