TELNET_EOK        766 src/dps8/libtelnet.c         return TELNET_EOK;
TELNET_EOK        887 src/dps8/libtelnet.c                         } else if (_buffer_byte(telnet, byte) != TELNET_EOK) {
TELNET_EOK        912 src/dps8/libtelnet.c                                                 TELNET_EOK) {