cherry pick prove_call export