Reverse in code.oz