be strict about port numbers being in in_port_t not uint32_t