void main()
{
#ifdef NeXT
 printf("nextstep\n"); exit(0);
#endif
 printf("unknown\n"); exit(0);
}