
Dafny program verifier finished with 6 verified, 0 errors
ch = D
The string is: DDD
Escape X: I say "hello" \ you say 'good bye'
Escape Y: I say "hello" \ you say 'good bye'
Escape Z: There needs to be R&D
	Yes, sir
Here is the end
*   *   *
