PROS Vex code