Use toplevel function pass manager as OnTheFly manager.