Constant verify_batch 

pub const verify_batch: Symbol;