  TYPE
    rmt$rbt_server_attribute = record
      case selector {input} : rmt$rbt_attribute_key of {input}
      = rmc$rbt_server_timeout =
        server_timeout {in milliseconds} : ost$positive_integers,
      = rmc$rbt_supported_requests =
        supported_requests: rmt$rbt_supported_requests,
      = rmc$rbt_null_attribute =
        ,
      casend
    recend;

*copyc osd$integer_limits
*copyc rmt$rbt_attribute_key
*copyc rmt$rbt_supported_requests
