procedure rarb()
   suspend &subject[.&pos:
      &pos <- ((*&subject + 1) to &pos by -1)]
end