betoh64
(void) printf(" seq=%" PRIu64 " host=%s\n", betoh64(msg->dm_count),
extern uint64_t betoh64(uint64_t);
test64 = betoh64(val64);