pragma.syntax("0.9")

def ok implements DeepFrozen, ExitViaHere {}