sk_init            25 src/dps8/dps8_socket_dev.h void sk_init(void);
sk_init          4400 src/dps8/dps8_sys.c   sk_init ();