words[]:

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