1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8
9. 9

import FFI

open IO

def main : IO Unit := do
  println $ myAdd 1 2
  println $ myAdd 0 0

#check myAdd 1 2