public void writeKnownAttributes(GrowableConstantPool gcp,
			DataOutputStream output) throws IOException {
		if (lvt != null) {
			output.writeShort(gcp.putUTF8("LocalVariableTable"));
			int count = lvt.length;
			int length = 2 + 10 * count;
			output.writeInt(length);
			output.writeShort(count);
			for (int i = 0; i < count; i++) {
				output.writeShort(lvt[i].start.getAddr());
				output.writeShort(lvt[i].end.getAddr() + lvt[i].end.getLength()
						- lvt[i].start.getAddr());
				output.writeShort(gcp.putUTF8(lvt[i].name));
				output.writeShort(gcp.putUTF8(lvt[i].type));
				output.writeShort(lvt[i].slot);
			}
		}
		if (lnt != null) {
			output.writeShort(gcp.putUTF8("LineNumberTable"));
			int count = lnt.length;
			int length = 2 + 4 * count;
			output.writeInt(length);
			output.writeShort(count);
			for (int i = 0; i < count; i++) {
				output.writeShort(lnt[i].start.getAddr());
				output.writeShort(lnt[i].linenr);
			}
		}
	}