run 1243729 strategy
  run 4443914 $ \s -> do

  run (pure 1243729) strategy
  run (pure 4443914) $ \s -> do