unit osenv_mem = {

imports[ memobj : MemObj_T vm : VM_T phys_lmm : PhysLMM_T ]; exports[ osenv_mem : OSEnvMem_T ]; ...

}