sig
  val tailable :
    Flx_types.bexe_t list -> string list -> Flx_types.bexe_t list -> bool
  val chain_gotos :
    Flx_mtypes2.sym_state_t -> Flx_types.bexe_t list -> Flx_types.bexe_t list
  val final_tailcall_opt : Flx_types.bexe_t list -> Flx_types.bexe_t list
end