sig val make_stack_calls : Flx_mtypes2.sym_state_t -> Flx_child.child_map_t * Flx_types.fully_bound_symbol_table_t -> unit end