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