#![allow(dead_code, deprecated, unused_variables, unused_mut)]
use std::num::Saturating;
fn main() {
    let n = Saturating(isize::MAX >> 2);
    assert_eq!(n.leading_zeros(), 3);
}