pub const FORMATTER_TIMEOUT_SECS: u64 = 30;
Wall-clock budget for the external formatter, in seconds.