void check_display_reset() {
    ...
}