public void visitLabel(final Label label) {
		buf.setLength(0);
		buf.append(ltab);
		appendLabel(label);
		buf.append('\n');
		text.add(buf.toString());

		if (mv != null) {
			mv.visitLabel(label);
		}
	}