pub const mi_option_prof_seed: mi_option_t = 51;
Fork addition. Profiler sampling PRNG seed; 0 = nondeterministic.