function Bool f() = False;