implen            430 src/dps8/udplib.c     int32_t pktlen, explen, implen, i;
implen            453 src/dps8/udplib.c         implen = ntohs (pkt . count);
implen            454 src/dps8/udplib.c         explen = (int32_t) UDP_HEADER_LEN + implen * (int32_t) sizeof (uint16_t);
implen            499 src/dps8/udplib.c             return implen;
implen            505 src/dps8/udplib.c         for (i = 0;  i < (implen < maxbuf ? implen : maxbuf);  ++ i)
implen            507 src/dps8/udplib.c         return implen;