Function leader_of 

pub fn leader_of(view: b32, n: b5) -> b5

leader(view) = view mod n, without % (n ≤ 16, view < 2^32).