1  int
       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  }