@hex:
  # Show that we report wrmsr as an illegal instruction.
  0f 30
@val:
  VALIDATOR: 0000000000000000: 0f 30                                        wrmsr
  VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  VALIDATOR: Checking jump targets: 0 to 2
  VALIDATOR: Checking that basic blocks are aligned
  *** <input> IS UNSAFE ***
@rval:
  VALIDATOR: 0000000000000000: 0f 30                                        wrmsr
  VALIDATOR: ERROR: This instruction has been marked illegal by Native Client
  VALIDATOR: Checking jump targets: 0 to 2
  VALIDATOR: Checking that basic blocks are aligned
  *** <input> IS UNSAFE ***
@dis:
  0000000000000000: 0f 30                                        wrmsr
@vdis:
  0000000000000000: 0f 30                                        [P] dontcare(illegal)
@rdfa_output:
  0: [0] unrecognized instruction
  return code: 1