def f: 1 +