
Dafny program verifier finished with 7 verified, 0 errors
Hello, I wish to have...
  An argument!
Hello, I wish to have...
  Another argument!
Hello, I wish to have...
  Another argument!
Hello, I wish to have...
  Another argument!
