Verification Processor Machine Code Definition