unit osenv_memobj = {

imports[ iids : { oskit_iunknown_iid oskit_mem_iid oskit_osenv_mem_iid } services : Services_T phys_lmm : PhysLMM_T vm : VM_T ]; exports[ out : OSEnvMem_T ]; ...

}