void printf(char *fmt, int i) {}

int test(void) {
  int i = 3;
  {
    printf("i = %d\n", i);
    int i = 10;
    // blah blah blah
  }
  return 0;
}