org_aspectj_ajde_core_tests_model_SavedModelConsistencyTest_java
org.aspectj.apache.bcel.classfile.JavaClass
public void dump(DataOutputStream file) throws IOException {
        file.writeInt(-889275714);
        file.writeShort(this.minor);
        file.writeShort(this.major);
        this.cpool.dump(file);
        file.writeShort(this.modifiers);
        file.writeShort(this.classnameIdx);
        file.writeShort(this.superclassnameIdx);
        file.writeShort(this.interfaces.length);
        for (int anInterface : this.interfaces) {
            file.writeShort(anInterface);
        }
        file.writeShort(this.fields.length);
        for (Field field : this.fields) {
            field.dump(file);
        }
        file.writeShort(this.methods.length);
        for (Method method : this.methods) {
            method.dump(file);
        }
        AttributeUtils.writeAttributes(this.attributes, file);
        file.close();
    }
 -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[]): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.close(): void
 [CALL] -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [CALL] -> java.io.DataOutputStream.writeByte(int): void -> java.io.DataOutputStream.writeUTF(java.lang.String): void [EXIT] [EXIT] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [EXIT] [EXIT] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [EXIT] [EXIT] -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [EXIT] [EXIT] [EXIT] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [EXIT] [EXIT] [EXIT] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [EXIT] [EXIT] [EXIT] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [EXIT] [EXIT] [EXIT] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [EXIT] [EXIT] [EXIT] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [EXIT] [EXIT] [EXIT] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [EXIT] [EXIT] [EXIT] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [EXIT] [EXIT] [EXIT] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [EXIT] [EXIT] [EXIT] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[]): void [EXIT] [EXIT] [EXIT] [EXIT] [CALL] -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.write(byte[],int,int): void [EXIT] [EXIT] -> java.io.DataOutputStream.close(): void [EXIT]