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