macro_rules! require_len { ($left:expr, $right:expr) => { ... }; }
Verifies that the length of the LHS expression is exactly the RHS expression. Fails with a BadLength error if not.
BadLength