Tag of the ghostcell2.v and ghostcell3.v