unit lmm_to_osenv_mem = {

imports[ malloc : Malloc_TFlags vm : VM_T phys_lmm : PhysLMM_T ]; exports[ out : OSEnvMem_T ]; ...

}