to_byte
# define bval(x,n) to_byte((x) >> (8 * (n)))
# define bval(x,n) to_byte((x) >> (24 - 8 * (n)))