`DUP n` is 1-indexed
DUP 0
is rejected, whereas DUP 1
is equivalent to DUP
.
It would be more intuitive to accept DUP 0
as equivalent to DUP
, and have DUP n
duplicate the n
th stack element, where the top stack element is the 0
th element.