let reduce_struct_desc s = 
  let fields = 
    List.map (fun (i,f) -> i, reduce_struct_field f)
      s.str_fields 
  in
  { s with str_fields = fields }