1#objdump: -dw 2#name: x86-64 SE1 insns 3#source: x86-64-se1.s 4 5.*: +file format .* 6 7 8Disassembly of section .text: 9 100+ <_start>: 11[ ]*[a-f0-9]+: 0f 01 cf encls 12[ ]*[a-f0-9]+: 0f 01 d7 enclu 13[ ]*[a-f0-9]+: 0f 01 c0 enclv 14#pass 15