     void dummy1(void) { printf("dummy1\n"); }
     void dummy2(void) { printf("dummy2\n"); }
     void dummy3(void) { printf("dummy3\n"); }

     main()
     {
          void (*array[])()={ dummy1 , dummy2 , dummy3 };
          void (*ptr)();

          ptr=array[0];
          ptr++;    /* NOT ALLOWED */
     }
