Constant PESSIMISTIC_PROOF_PROGRAM_VERSION 

pub const PESSIMISTIC_PROOF_PROGRAM_VERSION: u32 = 9;