pragma.syntax("0.9") def askedEarly implements DeepFrozen, ExitViaHere {} if (.optUnget(askedEarly) != null) { throw("shouldn't happen") } askedEarly