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


Disassembly of section .data:

0000000180000000 <.data>:
   180000000:	48 8d 64 24 d8       	lea    -0x28(%rsp),%rsp
   180000005:	48 89 4c 24 30       	mov    %rcx,0x30(%rsp)
   18000000a:	48 8d 4c 24 30       	lea    0x30(%rsp),%rcx
   18000000f:	e8 fc c1 a6 01       	call   0x181a6c210
   180000014:	48 8d 64 24 28       	lea    0x28(%rsp),%rsp
   180000019:	c3                   	ret