#include "libc/sysv/macros.internal.h"
.scall sys_timer_gettime,0x1bfffffffffff0e0,globl