Constant GLOBALCOUNTER_OVERLAYMANAGER 

pub const GLOBALCOUNTER_OVERLAYMANAGER: SHGLOBALCOUNTER;