pingerlen
printf("PING(%lu=40+8+%lu bytes) ", (unsigned long)(40 + pingerlen()),
(unsigned long)(pingerlen() - 8));
if (pingerlen() != cc)
static size_t pingerlen(void);