midas.br masm.br mdisp.br mrgn.br mioc.br mmprgn.br ^
mmenu.br mparse.br mtv.br mtxtbuf.br mosutils.br moverlay.br ^
msym.br mload.br mcmd.br minit0.br minit1.br minit2.br minit3.br ^
stateinit.br state.br overlays.br overlaysinit.br ^
mx.br mxaltr.br mxaltio.br mxprin.br mxpra.br ^
mxa.br mxpow.br mxtst.br mxtall.br mxi0.br mxi.br mxpar.br ^