
Dafny program verifier finished with 1 verified, 0 errors
Hello!
My value is 42

Dafny program verifier finished with 1 verified, 0 errors
Hello!
My value is 42

Dafny program verifier finished with 1 verified, 0 errors
Hello!
My value is 42

Dafny program verifier finished with 1 verified, 0 errors
Hello!
My value is 42
