Symbol: nat_insert