This is 2587 Alpha's VEX Tossup code.