macro_rules! finite_ec_point_pair {
    ($e1:expr, $e2:expr, $e3:expr, $e4:expr) => { ... };
}