hex() to print_hex()