Text this: Program Correctness through Self-Certification.