public DatRecord(RecordInputStream in) {field_1_options = in.readShort();}

public DatRecord ( RecordInputStream in ) { field_1_options = in . readShort ( ) ; }
public DatRecord(RecordInputStream in1){field_1_options = in1.ReadShort();}
