wb_print_state
wb_print_state(sc, "Before watchdog counter (re)load");
wb_print_state(sc, "After watchdog counter (re)load");
wb_print_state(sc, "Before watchdog attach");
wb_print_state(sc, "After watchdog attach");