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