reverse translation bindings