Symbol: OPL_TIMER_CONTROL