import FfiTest

def main : IO Unit := do
  IO.println s!"{myAdd 2 3}"