void hexdump (void *addr, int len);