Vex code for PROS enviroment