const READERS_WAITING: u32 = _; // 1_073_741_824u32