public DataLabelExtensionRecord(RecordInputStream in) {rt = in.readShort();grbitFrt = in.readShort();in.readFully(unused);}

public DataLabelExtensionRecord ( RecordInputStream in ) { rt = in . readShort ( ) ; grbitFrt = in . readShort ( ) ; in . readFully ( unused ) ; }
public DataLabelExtensionRecord(RecordInputStream in1){rt = in1.ReadShort();grbitFrt = in1.ReadShort();in1.ReadFully(unused);}
