Verified 0/5 symbols. Waiting for Foo to verify.
Verified 1/5 symbols. Waiting for Faz to verify.
Verified 2/5 symbols. Waiting for Fopple to verify.
Verified 3/5 symbols. Waiting for Burp to verify.
Verified 4/5 symbols. Waiting for Blanc to verify.

Dafny program verifier finished with 7 verified, 0 errors
