# include <stdlib.h>
# define MY_SIZE 999999999999999

int main(int argc, char **argv) {
  char *s = (char *) malloc (MY_SIZE);
  *s = 'a';
  return 0;
}
