macro_rules! totalorder_impl {
    ($T:ident, $I:ident, $U:ident, $bits:expr) => { ... };
}