Text this: Toward zero-defect programming