@hex:
  # Test that we allow the ud2 instruction.
  0f 0b
@nval:
  *** <input> is safe ***
@dis:
  00000000: 0f 0b                                        ud2
@vdis:
   0:	0f 0b               	ud2
@rdfa_output:
  return code: 0