macro_rules! bigint {
    ($t:ty, $s:expr) => { ... };
}