return_uint32
print_dumphdr(fd, dhp, return_uint32, NATIVE_ISA);
static uint32_t return_uint32(uint32_t);