Sample VEX code