macro_rules! registered_seal_proof_conversion {
    ($($internal:ty),+) => { ... };
}