words[]:

void
revert
(
uint32
[
]
¢
array
,
uint16
a
,
uint16
e
)
{
e
--
;
do
{
while
a
<
e
;
swap
(
array
[
a
++
]
,
array
[
e
--
]
)
;
}
}
""