from typing import List, Optional

def main(args: Optional[List[str]] = ...) -> int: ...