Symbol: sparc_check_constraints