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