DEFINITION MODULE CRC; (* Main driver program generation *) PROCEDURE WriteDriver; (* Emits the source code of a generated driver program using the frame file compiler.frm *) END CRC.