m-code-64/Loader2.def

DEFINITION MODULE Loader2 ;

(* MC64 loader: reads a .mc4 module file, maps it into the arena,
   and runs the module initializer if flagged TOINIT. *)

EXPORT QUALIFIED Call ;

PROCEDURE Call (name: ARRAY OF CHAR) ;

END Loader2.