const MAX_READERS: u32 = _; // 1_073_741_822u32