#![allow(dead_code, deprecated, unused_variables, unused_mut)]
#![feature(int_roundings)]
fn main() {
    assert_eq!(7_u8.div_floor(4), 1);
}