pub fn caml_vesta_sub(
    x: &WasmVestaGProjective,
    y: &WasmVestaGProjective
) -> WasmVestaGProjective