in src/hashwires.rs [560:563]
fn log_2(x: u32) -> u32 { assert!(x > 0); num_bits::<u32>() as u32 - x.leading_zeros() - 1 }