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

void big_stack() {
  char BIG_DATA[8515*1024];
  int i = 3; // need this to avoid optimizations...
}

int main(int argc, char **argv) {
  big_stack();
}