type F = Box<Fn(i32, &i32, &i32, ())>;