def foo(x:int, y:str)-> int:
   return x

def main():
   z : int = foo(5, "funf")