unit osenv_memprint = {

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

}