1 #include "scalar.h" 2 main(void)3int main(void) 4 { 5 // uninitialised, but we know px[0] is 0x0 6 long* px = malloc(sizeof(long)); 7 long x0 = px[0]; 8 int res __attribute__((unused)); 9 10 // All __NR_xxx numbers are taken from x86 11 12 // __NR_exit_group 252 13 GO(__NR_exit_group, "1s 0m"); 14 SY(__NR_exit_group, x0); 15 16 return(0); 17 } 18 19