  TYPE
    iot$robotic_server_attributes = record
      supported_requests: rmt$rbt_supported_requests,
      timeout {in milliseconds} : ost$positive_integers,
    recend;

*copyc osd$integer_limits
*copyc rmt$rbt_supported_requests
