pub const TIMEOUT: Duration;
How long the runner may take. It reads one file and prints a document; a second is already pathological, and a snapshot is better without it than late.