/* * Initialise Veriexec. */