/tmp/det/fun_180040cc0.bin:     file format binary


Disassembly of section .data:

0000000180000000 <.data>:
   180000000:	48 83 ec 28          	sub    $0x28,%rsp
   180000004:	48 89 4c 24 30       	mov    %rcx,0x30(%rsp)
   180000009:	48 8d 4c 24 30       	lea    0x30(%rsp),%rcx
   18000000e:	e8 fd b7 a6 01       	call   0x181a6b810
   180000013:	48 83 c4 28          	add    $0x28,%rsp
   180000017:	c3                   	ret