let behavior_name_of_strategy strat = strat.behavior_name