Constant consts_STEAL_SPAN 

pub const consts_STEAL_SPAN: consts = 128;