TELNET_EOK        768 src/dps8/libtelnet.c         return TELNET_EOK;
TELNET_EOK        889 src/dps8/libtelnet.c                         } else if (_buffer_byte(telnet, byte) != TELNET_EOK) {
TELNET_EOK        914 src/dps8/libtelnet.c                                                 TELNET_EOK) {