cyclic
macro_rules! res { ($value:expr ; $modulus:ident) => { ... }; ($value:expr ; $modulus:literal) => { ... }; }