macro_rules! encode_state {
    ($b:ident($x:expr)) => { ... };
}