Symbol: check_spectre_auxcr