void -rc reverse (vb -w dest, vb src)            void -rc reverse (vb -w dest, vb src)
{                                                              if (length (src) == 0)
  vb tail = alloc (T_SLICE);                     {
                                                   ;
  attach (dest, &head),                          }
  {
    reverse (dest, tail),
    {
      detach (head, tail, src),
      {
        vb -w head = alloc (T_LINK)
      }
    }
  };
}
/
{
  free (&tail);
}
