# $1: command, in {
  #       "2ChildMedia", "2QualifiedChildDev", "CHECK", "CheckForced",
  #       "DESTROY", "REALIZE", "RealizeForced", "REPAIR", "RepairForced",
  #       "SIZE", "VERIFY", "WAIT", "_:", "__:"
  #     },
  #     * $1 in {
  #         "2ChildMedia", "2QualifiedChildDev", "CHECK", "CheckForced",
  #         "DESTROY", "REALIZE", "RealizeForced", "REPAIR", "RepairForced",
  #         "SIZE", "VERIFY", "WAIT"
  #       }: see "../CommonCommandsSpecification.TXT";