MPI_Is_thread_main(3) on Linux

The text 37d0933442cd, as Debian 12 (Bookworm) shipped it.

Returns a flag indicating whether this thread called MPI_Init or MPI_Init_thread