1 #as:
2 #objdump: -dw
3 #name: TDX insns
4 #source: tdx.s
5 
6 .*: +file format .*
7 
8 Disassembly of section \.text:
9 
10 0+ <_start>:
11 [ 	]*[a-f0-9]+:	66 0f 01 cc +	tdcall *
12 #pass
13