extract_grub_counter_from_save
monitor_grub_counter
