public String toString() {
		String x = "(locals";

		for (int i = 0; i < locals.length; i++) {
			x += "\n          (local @" + locals[i].index() + " name="
					+ locals[i].nameIndex() + " type=" + locals[i].typeIndex()
					+ " pc=" + locals[i].startPC() + ".."
					+ (locals[i].startPC() + locals[i].length()) + ")";
		}

		return x + ")";
	}