unit osenv_clock = {

imports[ string : String_T intr : OSEnvIntr_T mem : OSEnvMem_T timer : OSEnvTimer_T iids : { oskit_clock_iid oskit_iunknown_iid oskit_timer_iid } ]; exports[ out : OSEnvClock_T ]; ...

}