Fixed debug_get_state