unit osenv_timer = {

imports[ intr : OSEnvIntr_T irq : OSEnvIRQ_T log : OSEnvLog_T panic : OSEnvPanic_T ]; exports[ out : OSEnvTimer_T ]; ...

}