print("0x{:02x} @ 0x{:016x} [{}]\n\n".format(sb, shadow, shadow_byte_to_string(sb)))
ctx = long(opts.get("-C", 5))
print_shadow_context(addr, ctx)
print("0x{:02x} @ 0x{:016x} [{}]\n\n".format(sb, shadow, shadow_byte_to_string(sb)))
ctx = long(opts.get("-C", 5))
print_shadow_context(addr, ctx)