pub const WATCHDOG_MS: u32 = 2_000;
The assumed watchdog in milliseconds: Windows’ default TDR, the shortest of the platforms.