>  # @p is the position of each element in @o,
>  # that is, @o = (0..$#e)[@p]
>  my @p= (0..$#e);
>  # Note that it is also true that @p = (0..$#e)[@o].