Symbol: devlinktab_list