The code for Rexxy