sig
  val tailit :
    Flx_mtypes2.sym_state_t ->
    Flx_call.usage_table_t * Flx_child.child_map_t *
    Flx_types.fully_bound_symbol_table_t ->
    Flx_ast.bid_t ->
    Flx_ast.range_srcref ->
    (string * (int * Flx_types.btypecode_t)) list ->
    Flx_types.bvs_t -> Flx_types.bexe_t list -> Flx_types.bexe_t list
end