Function kimchi_stubs::projective::vesta::caml_vesta_add

#[no_mangle]
pub extern "C" fn caml_vesta_add(x: Raw, y: Raw) -> Raw