/* Convert an u32_t from host to network byte order.  */
static uint32_t ntohl(uint32_t n)
/* Convert an u32_t from host to network byte order.  */
static uint32_t ntohl(uint32_t n)
{
  return ((n & 0xff) << 24) | ((n & 0xff00) << 8) | ((n & 0xff0000UL) >> 8) | ((n & 0xff000000UL) >> 24);
}