public LeftMarginRecord(RecordInputStream in) {field_1_margin = in.readDouble();}

public LeftMarginRecord ( RecordInputStream in ) { field_1_margin = in . readDouble ( ) ; }
public LeftMarginRecord(RecordInputStream in1){field_1_margin = in1.ReadDouble();}
