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.
