unit example_timer = {

imports[ stdout : Stdout_T exit : Exit_T timer : OSEnvTimer_T jmp : LongJmp_T ]; exports[ main : Main_T ]; ...

}