"visitor for pure, for goto and for label"