1 void main()

     2 {

     3 #ifdef NeXT

     4   printf("nextstep\n"); exit(0);

     5 #endif

     6   printf("unknown\n"); exit(0);

     7 }