Def f n int int