— Command: null-event-delay [delay]

Without the delay argument, prints the value of the delay used for “trivial” events. With the delay argument, sets the said delay value.

— Command: timing mode

Select timing mode for event delays. mode can be one of the following:

uniform

Use the same delay for all events, set by uniform-delay.

random

Use a high-entropy random variable delay.

per-event

Use the delay specified by each individual event.

— Command: seed48 [int int int]

Corresponds to libc's seed48 function. With no argument, print the current values of the internal random number seed. With three (unsigned short) integers, sets the random number seed. Note: the seed is automatically saved and restored in checkpoints.

— Command: uniform-delay [delay]

The uniform delay value only takes effect in the uniform timing mode. Without the delay argument, prints the value of the delay. With the delay argument, sets the said delay value.