BF32_ENCODE
((x) ^= BF32_ENCODE((x >> low) ^ (val), low, len))
(x) ^= BF32_ENCODE((x >> low) ^ (val), low, len); \