mongoc_client_session_get_operation_time(3) on Linux

The text 8d7ea1f8aa64, as Debian 10 (Buster) shipped it.

mongoc_client_session_get_operation_time()