print_address
extern void print_address (unsigned long memaddr);
print_address(memaddr + value);
print_address(value & 0xffffffff);