(** mkproc **)

val mkproc_gen:
  Flx_mtypes2.sym_state_t ->
  Flx_bsym_table.t ->
  int