protected void setLocalType(final int local, final Type type) {
		int index = local - firstLocal;
		while (localTypes.size() < index + 1) {
			localTypes.add(null);
		}
		localTypes.set(index, type);
	}