__load_timer2
return __load_timer2(ticks);
__load_timer2(LATCH);
extern void __load_timer2(unsigned int ticks);