[mpiwg-sessions] Question on MPI_THREAD_FUNNELED