consult(init).
goedel.
;c DisplayFile.
;l DisplayFile.
Display("GL/M1.exp").

halt.