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


Disassembly of section .data:

0000000180000000 <.data>:
   180000000:	48 83 ec 28          	sub    $0x28,%rsp
   180000004:	48 85 c9             	test   %rcx,%rcx
   180000007:	74 26                	je     0x18000002f
   180000009:	48 85 d2             	test   %rdx,%rdx
   18000000c:	74 21                	je     0x18000002f
   18000000e:	45 85 c0             	test   %r8d,%r8d
   180000011:	7e 26                	jle    0x180000039
   180000013:	41 81 f8 00 80 00 00 	cmp    $0x8000,%r8d
   18000001a:	7d 07                	jge    0x180000023
   18000001c:	e8 ff a0 a4 01       	call   0x181a4a120
   180000021:	eb 05                	jmp    0x180000028
   180000023:	e8 78 56 0b 00       	call   0x1800b56a0
   180000028:	33 c0                	xor    %eax,%eax
   18000002a:	48 83 c4 28          	add    $0x28,%rsp
   18000002e:	c3                   	ret
   18000002f:	b8 f8 ff ff ff       	mov    $0xfffffff8,%eax
   180000034:	48 83 c4 28          	add    $0x28,%rsp
   180000038:	c3                   	ret
   180000039:	b8 fa ff ff ff       	mov    $0xfffffffa,%eax
   18000003e:	48 83 c4 28          	add    $0x28,%rsp
   180000042:	c3                   	ret