jeehoonkang

#include <stdio.h>
#include <stdlib.h>

int main() {
  char *p = malloc(0x80000000);
  *((char *)0x80000000) = 3;
  return 0;
}

// test with: gcc -S -O2 tt.c && cat tt.s