Symbol: idtab_append