This section uses the names Alloc1, Alloc2, alloc1, alloc2, Args, CompletionHandler, completion_handler, Executor1, Executor2, ex1, ex2, f, i, N, Signature, token, T[sub i], t[sub i], work1, and work2 as placeholders for specifying the requirements below.