let
cfg_of_strategy strat = strat.cfg