Describe these uses of ellipsis in stubs: ``` x = ... # type: int def f(x: int = ...) -> None: pass ```