Simple.g4
dafny/