def run() -> None: ...