added VTX_READ_64 instruction