Dump of assembler code for function program::program::try_into_bytes[expr25](f0):
=> 0x00007ffff7fc22a0 <+0>:     push   r15
   0x00007ffff7fc22a2 <+2>:     push   r14
   0x00007ffff7fc22a4 <+4>:     push   r12
   0x00007ffff7fc22a6 <+6>:     push   rbx
   0x00007ffff7fc22a7 <+7>:     sub    rsp,0x68
   0x00007ffff7fc22ab <+11>:    int3
   0x00007ffff7fc22ac <+12>:    mov    r14,rdi
   0x00007ffff7fc22af <+15>:    mov    rdi,QWORD PTR [rsp+0xa8]
   0x00007ffff7fc22b7 <+23>:    mov    r12,rsi
   0x00007ffff7fc22ba <+26>:    inc    r12
   0x00007ffff7fc22bd <+29>:    mov    r15,rcx
   0x00007ffff7fc22c0 <+32>:    mov    rbx,rdx
   0x00007ffff7fc22c3 <+35>:    xor    eax,eax
   0x00007ffff7fc22c5 <+37>:    test   al,al
   0x00007ffff7fc22c7 <+39>:    jne    0x7ffff7fc233d <program::program::try_into_bytes[expr25](f0)+157>
   0x00007ffff7fc22c9 <+41>:    mov    esi,DWORD PTR [rsp+0x98]
   0x00007ffff7fc22d0 <+48>:    mov    eax,DWORD PTR [rsp+0xc0]
   0x00007ffff7fc22d7 <+55>:    mov    ecx,DWORD PTR [rsp+0xb8]
   0x00007ffff7fc22de <+62>:    mov    edx,DWORD PTR [rsp+0xb0]
   0x00007ffff7fc22e5 <+69>:    lea    r10,[rsp+0x48]
   0x00007ffff7fc22ea <+74>:    lea    r9,[rsp+0x28]
   0x00007ffff7fc22ef <+79>:    sub    esi,DWORD PTR [rsp+0x90]
   0x00007ffff7fc22f6 <+86>:    cmp    r8d,esi
   0x00007ffff7fc22f9 <+89>:    cmove  r9,r10
   0x00007ffff7fc22fd <+93>:    mov    DWORD PTR [r9+0x14],ecx
   0x00007ffff7fc2301 <+97>:    mov    DWORD PTR [r9+0x10],edx
   0x00007ffff7fc2305 <+101>:   mov    QWORD PTR [r9+0x8],rdi
   0x00007ffff7fc2309 <+105>:   mov    DWORD PTR [r9+0x18],eax
   0x00007ffff7fc230d <+109>:   mov    DWORD PTR [r9+0x20],r8d
   0x00007ffff7fc2311 <+113>:   mov    BYTE PTR [r9],0x0
   0x00007ffff7fc2315 <+117>:   vmovups xmm0,XMMWORD PTR [r9+0x8]
   0x00007ffff7fc231b <+123>:   mov    rax,QWORD PTR [r9]
   0x00007ffff7fc231e <+126>:   mov    rcx,QWORD PTR [r9+0x18]
   0x00007ffff7fc2322 <+130>:   mov    QWORD PTR [r14+0x10],r15
   0x00007ffff7fc2326 <+134>:   mov    QWORD PTR [r14+0x8],rbx
   0x00007ffff7fc232a <+138>:   mov    QWORD PTR [r14+0x30],rcx
   0x00007ffff7fc232e <+142>:   vmovups XMMWORD PTR [r14+0x20],xmm0
   0x00007ffff7fc2334 <+148>:   mov    QWORD PTR [r14+0x18],rax
   0x00007ffff7fc2338 <+152>:   mov    QWORD PTR [r14],r12
   0x00007ffff7fc233b <+155>:   jmp    0x7ffff7fc23b8 <program::program::try_into_bytes[expr25](f0)+280>
   0x00007ffff7fc233d <+157>:   movabs rax,0x7ffff7a0b0c0
   0x00007ffff7fc2347 <+167>:   call   rax
   0x00007ffff7fc2349 <+169>:   movabs rax,0x7ffff7a0b320
   0x00007ffff7fc2353 <+179>:   mov    esi,0x100
   0x00007ffff7fc2358 <+184>:   xor    edi,edi
   0x00007ffff7fc235a <+186>:   call   rax
   0x00007ffff7fc235c <+188>:   movabs rcx,0x7ffff7fc1020
   0x00007ffff7fc2366 <+198>:   vmovaps ymm0,YMMWORD PTR [rcx]
   0x00007ffff7fc236a <+202>:   movabs rcx,0x100000000
   0x00007ffff7fc2374 <+212>:   vmovups YMMWORD PTR [rax],ymm0
   0x00007ffff7fc2378 <+216>:   mov    QWORD PTR [rsp+0x18],rcx
   0x00007ffff7fc237d <+221>:   mov    QWORD PTR [rsp+0x10],rax
   0x00007ffff7fc2382 <+226>:   mov    BYTE PTR [rsp+0x8],0x1
   0x00007ffff7fc2387 <+231>:   mov    DWORD PTR [rsp+0x20],0x8
   0x00007ffff7fc238f <+239>:   vmovups xmm0,XMMWORD PTR [rsp+0x10]
   0x00007ffff7fc2395 <+245>:   mov    rax,QWORD PTR [rsp+0x8]
   0x00007ffff7fc239a <+250>:   mov    rcx,QWORD PTR [rsp+0x20]
   0x00007ffff7fc239f <+255>:   mov    QWORD PTR [r14],r12
   0x00007ffff7fc23a2 <+258>:   mov    QWORD PTR [r14+0x10],r15
   0x00007ffff7fc23a6 <+262>:   mov    QWORD PTR [r14+0x30],rcx
   0x00007ffff7fc23aa <+266>:   vmovups XMMWORD PTR [r14+0x20],xmm0
   0x00007ffff7fc23b0 <+272>:   mov    QWORD PTR [r14+0x18],rax
   0x00007ffff7fc23b4 <+276>:   mov    QWORD PTR [r14+0x8],rbx
   0x00007ffff7fc23b8 <+280>:   mov    rax,r14
   0x00007ffff7fc23bb <+283>:   add    rsp,0x68
   0x00007ffff7fc23bf <+287>:   pop    rbx
   0x00007ffff7fc23c0 <+288>:   pop    r12
   0x00007ffff7fc23c2 <+290>:   pop    r14
   0x00007ffff7fc23c4 <+292>:   pop    r15
   0x00007ffff7fc23c6 <+294>:   vzeroupper
   0x00007ffff7fc23c9 <+297>:   ret