GECO: A tool for automatic generation of error control codes for computer applications