pub fn f1(u: u8) -> u8 {
    u.wrapping_add(1)
}