unit osenv_memwrap = {

imports[ mem : OSEnvMem_T ]; exports[ osenv_mem : OSEnvMem_T ]; ...

}