pragma.syntax("0.9") def notRequested implements DeepFrozen {}