Func f1 at top level