/*
%begin
  %constinteger fred = 123
  %begin
    %constinteger fred = fred+1
    write(fred, 0); newline
  %end
%endofprogram
 */

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

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