Constant GLOBALCOUNTER_SEARCHMANAGER

pub const GLOBALCOUNTER_SEARCHMANAGER: SHGLOBALCOUNTER = 0i32;