Some tag/untag madness in symbol/slice_tags.txt