/* bug2.c */
/* Last edited on 2004-12-31 14:42:34 by stolfi */ 

typedef int NUM;

int p (int x)
  {
    auto NUM F(void);
    NUM F(void) { return x; }

    return F();
  }