A proof-of-concept auto generator of error checking code.