uint16_t csum_fold(uint32_t sum);
uint16_t csum_ip4(void *buf, size_t len);