let rec fpp_fields pp_tau tau_of_ctype_logic fmt = function
  | [] -> ()
  | [f] -> Format.fprintf fmt "%s@,:@,%a@\n" (field f) pp_tau
      (tau_of_ctype_logic f.Cil_types.ftype)
  | f::m ->
      Format.fprintf fmt "%s@,:@,%a;@\n" (field f) pp_tau
        (tau_of_ctype_logic f.Cil_types.ftype);
      fpp_fields pp_tau tau_of_ctype_logic fmt m