#include "libc/sysv/consts/syscon.internal.h"
.syscon nr,__NR_clock_gettime,0x00e4,-1,0x00e8,0x0057,0x1ab,-1