/* Operations for the Veriexec pseudo-device. */