Constant PESSIMISTIC_PROOF_PROGRAM_SELECTOR 

pub const PESSIMISTIC_PROOF_PROGRAM_SELECTOR: [u8; 4];