Symbol: ha_verify_invariants