Constant MAX_OPERATIONS_PER_SPEC 

pub const MAX_OPERATIONS_PER_SPEC: usize = 200;