Eliminate sequential/tag.h