1 /* Public domain. */
2 
main()3 int main()
4 {
5 #ifdef NeXT
6   printf("nextstep\n"); exit(0);
7 #endif
8   printf("unknown\n"); exit(0);
9 }
10