domain            343 src/dps8/dps8_socket_dev.c     int domain =   (int) buffer[0];
domain            347 src/dps8/dps8_socket_dev.c sim_printf ("socket() domain   %d\n", domain);
domain            354 src/dps8/dps8_socket_dev.c     if (domain != AF_INET)       // Only AF_INET