__RCE_PROOF_EXIT_0