val main :
  (string * Num.i_var option * Num.i_n_var list * Num.i_n_var list *
   string list -> unit) ->
  unit