1#include "scalar.h"
2
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