Symbol: gen_setinsert