let print_operations_constants (states_l,trans_l) =
  print_start_block "Operations status";
  fprintf !out_fmt "enum Status_list {\n";
  fprintf !out_fmt "  %s,\n" callStatus;
  fprintf !out_fmt "  %s\n" termStatus;
  fprintf !out_fmt "}\n";
  print_end_block "Operations status";

  print_start_block "Some constants about the Buchi automata";
  fprintf !out_fmt "# define %s=%d\n" nbStates (List.length states_l);
  fprintf !out_fmt "# define %s=%d\n" nbTrans (List.length trans_l);
  fprintf !out_fmt "# define %s=%d\n" nbAcceptSt (List.fold_left (fun i s -> if s.acceptation=True then i+1 else i) 0 states_l);
  print_end_block "Some constants about the Buchi automata"