inline fn counterLow(counter: u64) u32
inline fn counterLow(counter: u64) u32 { return @truncate(counter); }