// RUN: llvm-objdump -d -m -no-show-raw-insn -full-leading-addr -print-imm-hex %p/Inputs/hello.exe.stripped.macho-x86_64 | FileCheck %s

CHECK: (__TEXT,__text) section
CHECK: 0000000100000f30	pushq	%rbp
CHECK: 0000000100000f31	movq	%rsp, %rbp
CHECK: 0000000100000f34	subq	$0x20, %rsp