Mutex protecting genEngine (and engine) below if seed is non-zero.
Referenced by genEngine(), and genValue().