Constant counters_DescriptorVmo_kMagic 

pub const counters_DescriptorVmo_kMagic: u64 = 1547273975;