Cleanup state transition organization and explanation
bytes1(x)
bytes2(x)
int_to_bytes1(x)
int_to_bytes2(x)