Constant EXIT_FAILURE 

pub const EXIT_FAILURE: i32 = 1;

Process exit code for a command failure (build error, proof failure, dirty fmt --check, parse error, …).