1 #include "scalar.h"
2 
main(void)3 int 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