procedure rextend(message, i)
   local j

   j := *message % i

   if j = 0 then return message

   return message || reverse(message)[1+:(i - j)]

end