void initialize_display();
void display_digit(int digit);
void display_animate(int from, int to);