macro_rules! from_integers {
    ($($name:ident: $t:ident => $max_len:expr),*) => { ... };
}