make_rtrec (DataType nm dsc (TypeDefn decls) o w p) dev devorder = 
    let order = if o == NOORDER then devorder else o
        sz = calc_tt_size decls
    in
      [ DataFormat { tt_name = TN.fromParts dev nm,
                     tt_size = sz,
                     fields = F.make_list dev RW order w decls,
                     tt_desc = dsc,
                     wordsize = if w == 0 then sz else w,
                     pos = p } ]
make_rtrec (DataType nm dsc (TypeDefn decls) o w p) dev devorder = 
    let order = if o == NOORDER then devorder else o
        sz = calc_tt_size decls
    in
      [ DataFormat { tt_name = TN.fromParts dev nm,
                     tt_size = sz,
                     fields = F.make_list dev RW order w decls,
                     tt_desc = dsc,
                     wordsize = if w == 0 then sz else w,
                     pos = p } ]
make_rtrec (DataType nm dsc (TypeDefn decls) o w p) dev devorder = 
    let order = if o == NOORDER then devorder else o
        sz = calc_tt_size decls
    in
      [ DataFormat { tt_name = TN.fromParts dev nm,
                     tt_size = sz,
                     fields = F.make_list dev RW order w decls,
                     tt_desc = dsc,
                     wordsize = if w == 0 then sz else w,
                     pos = p } ]