public void visitTableSwitchInsn(final int min, final int max,
			final Label dflt, final Label[] labels) {
		minSize += 13 + labels.length * 4;
		maxSize += 16 + labels.length * 4;
		if (mv != null) {
			mv.visitTableSwitchInsn(min, max, dflt, labels);
		}
	}