def func(): x: int = 42