Symbol: good_insns_32