proc add*(a, b: int): int =
result = a + b