def main() -> int: return foo(1)