inline fn counterHigh(counter: u64) u32
inline fn counterHigh(counter: u64) u32 { return @truncate(counter >> 32); }