pragma.syntax("0.9")

def notUnique implements ExitViaHere {}