5 // uninitialised, but we know px[0] is 0x0
6 long* px
= malloc(sizeof(long));
8 int res
__attribute__((unused
));
10 // All __NR_xxx numbers are taken from x86
12 // __NR_exit_group 252
13 GO(__NR_exit_group
, "1s 0m");
14 SY(__NR_exit_group
, x0
);