Function unsigned_max

pub fn unsigned_max(_word_bits: nat) -> nat