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