# RUN: %server "%s" > "%t"
# RUN: %diff "%s.expect" "%t"
verify
eyJhcmdzIjpbXSwiZmlsZW5hbWUiOiJDYWNoZS5kZnkiLCJzb3VyY2UiOiJtb2R1bGUgQSB7XG4gICAgcHJlZGljYXRlIEZvbygpXG59XG5cbm1vZHVsZSBCIHtcbiAgICAgICAgbWV0aG9kIEJhcihvOiBvYmplY3Q/KVxuICAgICAgICAgICAgLy8gcmVxdWlyZXMgbyAhPSBudWxsXG4gICAgICAgIHtcbiAgICAgICAgICAgIGFzc2VydCBvICE9IG51bGw7XG4gICAgICAgIH1cbn1cbiIsInNvdXJjZUlzRmlsZSI6ZmFsc2V9DQo=
[[DAFNY-CLIENT: EOM]]
verify
eyJhcmdzIjpbXSwiZmlsZW5hbWUiOiJDYWNoZS5kZnkiLCJzb3VyY2UiOiJtb2R1bGUgQSB7XG4gICAgcHJlZGljYXRlIEZvbygpXG59XG5cbm1vZHVsZSBCIHtcbiAgICAgICAgbWV0aG9kIEJhcihvOiBvYmplY3Q/KVxuICAgICAgICAgICAgcmVxdWlyZXMgbyAhPSBudWxsXG4gICAgICAgIHtcbiAgICAgICAgICAgIGFzc2VydCBvICE9IG51bGw7XG4gICAgICAgIH1cbn1cbiIsInNvdXJjZUlzRmlsZSI6ZmFsc2V9DQoNCg==
[[DAFNY-CLIENT: EOM]]
