1 int
main(int argc,char ** argv)2 main (int argc, char **argv)
3 {
4   int size = 10;
5 
6   {
7     int retframe_block()
8       {
9         return size + 5;
10       }
11 
12   if (retframe_block() != 15)
13       abort ();
14   exit (0);
15 
16   }
17 }
18