unit lmm_guard = {

imports[ in : OtherLMM_T size : { guard_size } panic : Panic_T ]; exports[ out : OtherLMM_T ]; ...

}