pub fn choose<const N: usize>(m: [b32; N], ok: [bool; N], f: b5) -> (bool, b32)
The value reported by at least f + 1 of the valid records, if any (at most one can be: 2(f + 1) > n).
f + 1
2(f + 1) > n