implen            439 src/dps8/udplib.c     int32_t pktlen, explen, implen, i;
implen            464 src/dps8/udplib.c         implen = ntohs (pkt . count);
implen            465 src/dps8/udplib.c         explen = (int32_t) UDP_HEADER_LEN + implen * (int32_t) sizeof (uint16_t);
implen            516 src/dps8/udplib.c             return implen;
implen            523 src/dps8/udplib.c         for (i = 0;  i < (implen < maxbuf ? implen : maxbuf);  ++ i)
implen            525 src/dps8/udplib.c         return implen;