Symbol: good_insns_64