Symbol: inat_has_second_immediate