void init_encoder_timer (void);