Implemented: reverse_iterative_nostack