CONSTANTS
Mode = "Fixed"
Scenario = "Retry"
ResourceKind = "CPE"
LoseReply = TRUE
RestartOnce = TRUE
DelayLists = TRUE
SPECIFICATION Spec
INVARIANTS TypeOK OCIRetry OCIDelete OCITokens Admission RoutePublish
PROPERTY Recovery