macro_rules! declare_interners {
    ( $( $name:ident : $ty:ident, )+ ) => { ... };
}