macro_rules! euclid_forward_impl {
    ($($t:ty)*) => { ... };
}