Text this: Verified program code execution system prototype