pub const NANOS_PER_NONDET_INSTR: f64 = 25.0;
Virtual nanoseconds elapsed per nondeterministic instruction other than system calls.