print_hex_bytes probably shouldn't be inlined.