Pushing tetio_reversal