rev encoding