Files pertaining to VEX