#include <stdio.h>

int a;
char buf[4ll * 1024 * 1024 * 1024];
int b;

int main() {
  b = 0;
  buf[sizeof(buf) - 1] = '\0';
  printf("b = %d\n", b);
  return 0;
}