>>> from tsc_utils.numbers import num_to_tsc_value
>>> num_to_tsc_value(-1))
b'000/'
>>> from tsc_utils.flags import flag_to_address
>>> flag_to_address(1234)
0x49de3a, bit 2