108         boost::future<int> f1 = boost::async(boost::launch::async, &p1);  in main()
117         boost::future<int> f1 = boost::async(boost::launch::deferred, &p1);  in main()
136         boost::future<int> f1 = boost::async(boost::launch::async, &p1);  in main()
137         boost::future<int> f2 = boost::async(boost::launch::async, &p1b);  in main()
148         boost::future<int> f1 = boost::async(boost::launch::async, &p1);  in main()
162         v.push_back(boost::async(boost::launch::async, &p1));  in main()
164         v.push_back(boost::async(boost::launch::async, &p1b));  in main()
198         boost::future<int> f1 = boost::async(boost::launch::async, &p1);  in main()
207         boost::future<int> f1 = boost::async(boost::launch::deferred, &p1);  in main()
216         boost::future<int> f1 = boost::async(boost::launch::async, &p1);  in main()
217         boost::future<int> f2 = boost::async(boost::launch::async, &p1b);  in main()
228         boost::future<int> f2 = boost::async(boost::launch::async, &p1b);  in main()
239         boost::future<int> f2 = boost::async(boost::launch::async, &p1b);  in main()
250         boost::future<int> f1 = boost::async(boost::launch::async, &p1b);  in main()
261         boost::future<int> f1 = boost::async(boost::launch::deferred, &p1);  in main()
262         boost::future<int> f2 = boost::async(boost::launch::async, &p1b);  in main()
272         boost::future<int> f1 = boost::async(boost::launch::async, &p1);  in main()
273         boost::future<int> f2 = boost::async(boost::launch::deferred, &p1b);  in main()
286         v.push_back(boost::async(boost::launch::async, &p1));  in main()
288         v.push_back(boost::async(boost::launch::async, &p1b));  in main()