unit LMM = {

imports[ panic : Panic_T stdout : Stdout_T ]; exports[ lmm : LMM_T ]; ...

}