The following equivalences hold (assuming "$[ == 0 and $#a >= $i" )

...
                   shift(@a)           splice(@a,0,1)