1 #include <libcgc.h>
2 #include <stdlib.h>
3 #include <string.h>
4 
5 /* Just leak 4 bytes from the flag page, performing a simple mutation on those bytes */
6 
main(int secret_page_i)7 int __attribute((fastcall)) main(int secret_page_i)
8 {
9     int x;
10     int *secret_page = (void *)secret_page_i;
11 
12     x = *secret_page;
13     x ^= 0x41424344;
14 
15     transmit(1, &x, 4, NULL);
16 }
17