/* Veriexec modes (strict levels). */