Instance CompSpecs : compspecs.Definition Vprog : varspecs.Definition pair_pair_t := (Tstruct _pair_pair noattr).Definition array_size := 100.

(* Specifications: *)
Lemma body_fiddle: semax_body Vprog Gprog f_fiddle fiddle_spec.
Lemma body_set22_root_expr: semax_body Vprog Gprog f_set22 set22_spec.
Lemma body_set22_full_expr: semax_body Vprog Gprog f_set22 set22_spec.
Lemma body_set22_alt: semax_body Vprog Gprog f_set22 set22_spec.