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

int main(int argc, char **argv) {
  int Fred = 123;
  {
    int Fred = Fred + 1;
    fprintf(stderr, "%d\n", Fred);
  }
  exit(0);
  return (1);
}