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


Disassembly of section .data:

0000000180000000 <.data>:
   180000000:	48 83 ec 48          	sub    $0x48,%rsp
   180000004:	b8 00 01 00 00       	mov    $0x100,%eax
   180000009:	4d 63 c9             	movslq %r9d,%r9
   18000000c:	45 33 db             	xor    %r11d,%r11d
   18000000f:	4f 8d 14 49          	lea    (%r9,%r9,2),%r10
   180000013:	49 c1 e2 02          	shl    $0x2,%r10
   180000017:	41 81 fa 00 80 00 00 	cmp    $0x8000,%r10d
   18000001e:	44 0f 4f d8          	cmovg  %eax,%r11d
   180000022:	48 89 e0             	mov    %rsp,%rax
   180000025:	44 89 58 20          	mov    %r11d,0x20(%rax)
   180000029:	44 89 58 28          	mov    %r11d,0x28(%rax)
   18000002d:	44 89 58 30          	mov    %r11d,0x30(%rax)
   180000031:	e8 ea d6 0b 00       	call   0x1800bd720
   180000036:	48 83 c4 48          	add    $0x48,%rsp
   18000003a:	c3                   	ret