Redirecting to Proof-Carrying Code