let structural_descr =
          Structure
            (Sum [| [|
              pack
                (t_record [|
                   G.packed_descr;
                   (let module H = Cil_datatype.Int_hashtbl.Make(Data_statein
                    H.packed_descr);
                   pack t_fi_descr;
                 |])
            |] |])