void ms_smi(unsigned long long timestamp, unsigned char cnt,
            unsigned int *value) {
  unsigned long nano_rem = do_div(timestamp, 1000000000);
  switch (cnt) {
  case 18:
    trace_printk("%5lu.%06lu"
                 ",%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\n",
                 (unsigned long)(timestamp), nano_rem / 1000, value[0],
                 value[1], value[2], value[3], value[4], value[5], value[6],
                 value[7], value[8], value[9], value[10], value[11], value[12],
                 value[13], value[14], value[15], value[16], value[17]);
    break;
  case 30:
    trace_printk("%5lu.%06lu"
                 ",%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,"
                 "%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\n",
                 (unsigned long)(timestamp), nano_rem / 1000, value[0],
                 value[1], value[2], value[3], value[4], value[5], value[6],
                 value[7], value[8], value[9], value[10], value[11], value[12],
                 value[13], value[14], value[15], value[16], value[17],
                 value[18], value[19], value[20], value[21], value[22],
                 value[23], value[24], value[25], value[26], value[27],
                 value[28], value[29]);
    break;
  case 34:
    trace_printk("%5lu.%06lu"
                 ",%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,"
                 "%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\n",
                 (unsigned long)(timestamp), nano_rem / 1000, value[0],
                 value[1], value[2], value[3], value[4], value[5], value[6],
                 value[7], value[8], value[9], value[10], value[11], value[12],
                 value[13], value[14], value[15], value[16], value[17],
                 value[18], value[19], value[20], value[21], value[22],
                 value[23], value[24], value[25], value[26], value[27],
                 value[28], value[29], value[30], value[31], value[32],
                 value[33]);
    break;
  case 37:
    trace_printk("%5lu.%06lu"
                 ",%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,"
                 "%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\n",
                 (unsigned long)(timestamp), nano_rem / 1000, value[0],
                 value[1], value[2], value[3], value[4], value[5], value[6],
                 value[7], value[8], value[9], value[10], value[11], value[12],
                 value[13], value[14], value[15], value[16], value[17],
                 value[18], value[19], value[20], value[21], value[22],
                 value[23], value[24], value[25], value[26], value[27],
                 value[28], value[29], value[30], value[31], value[32],
                 value[33], value[34], value[35], value[36]);
    break;
  case 44:
    trace_printk(
        "%5lu.%06lu"
        ",%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,"
        "%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\n",
        (unsigned long)(timestamp), nano_rem / 1000, value[0], value[1],
        value[2], value[3], value[4], value[5], value[6], value[7], value[8],
        value[9], value[10], value[11], value[12], value[13], value[14],
        value[15], value[16], value[17], value[18], value[19], value[20],
        value[21], value[22], value[23], value[24], value[25], value[26],
        value[27], value[28], value[29], value[30], value[31], value[32],
        value[33], value[34], value[35], value[36], value[37], value[38],
        value[39], value[40], value[41], value[42], value[43]);
    break;
  case 50:
    trace_printk(
        "%5lu.%06lu"
        ",%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,"
        "%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%"
        "x,%x,%x,%x\n",
        (unsigned long)(timestamp), nano_rem / 1000, value[0], value[1],
        value[2], value[3], value[4], value[5], value[6], value[7], value[8],
        value[9], value[10], value[11], value[12], value[13], value[14],
        value[15], value[16], value[17], value[18], value[19], value[20],
        value[21], value[22], value[23], value[24], value[25], value[26],
        value[27], value[28], value[29], value[30], value[31], value[32],
        value[33], value[34], value[35], value[36], value[37], value[38],
        value[39], value[40], value[41], value[42], value[43], value[44],
        value[45], value[46], value[47], value[48], value[49]);
    break;
  case 66:
    trace_printk(
        "%5lu.%06lu"
        ",%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,"
        "%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%"
        "x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\n",
        (unsigned long)(timestamp), nano_rem / 1000, value[0], value[1],
        value[2], value[3], value[4], value[5], value[6], value[7], value[8],
        value[9], value[10], value[11], value[12], value[13], value[14],
        value[15], value[16], value[17], value[18], value[19], value[20],
        value[21], value[22], value[23], value[24], value[25], value[26],
        value[27], value[28], value[29], value[30], value[31], value[32],
        value[33], value[34], value[35], value[36], value[37], value[38],
        value[39], value[40], value[41], value[42], value[43], value[44],
        value[45], value[46], value[47], value[48], value[49], value[50],
        value[51], value[52], value[53], value[54], value[55], value[56],
        value[57], value[58], value[59], value[60], value[61], value[62],
        value[63], value[64], value[65]);
    break;
  case 82:
    trace_printk(
        "%5lu.%06lu"
        ",%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,"
        "%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%"
        "x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%"
        "x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\n",
        (unsigned long)(timestamp), nano_rem / 1000, value[0], value[1],
        value[2], value[3], value[4], value[5], value[6], value[7], value[8],
        value[9], value[10], value[11], value[12], value[13], value[14],
        value[15], value[16], value[17], value[18], value[19], value[20],
        value[21], value[22], value[23], value[24], value[25], value[26],
        value[27], value[28], value[29], value[30], value[31], value[32],
        value[33], value[34], value[35], value[36], value[37], value[38],
        value[39], value[40], value[41], value[42], value[43], value[44],
        value[45], value[46], value[47], value[48], value[49], value[50],
        value[51], value[52], value[53], value[54], value[55], value[56],
        value[57], value[58], value[59], value[60], value[61], value[62],
        value[63], value[64], value[65], value[66], value[67], value[68],
        value[69], value[70], value[71], value[72], value[73], value[74],
        value[75], value[76], value[77], value[78], value[79], value[80],
        value[81]);
    break;
  }
}


x86 assembly (clang, -O0):
<ms_smi>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x6e8,%rsp
mov    %sil,%al
mov    %rdi,-0x30(%rbp)
mov    %al,-0x31(%rbp)
mov    %rdx,-0x40(%rbp)
mov    -0x30(%rbp),%rdi
xor    %eax,%eax
mov    $0x3b9aca00,%esi
call   1030 <do_div@plt>
cltq
mov    %rax,-0x48(%rbp)
movzbl -0x31(%rbp),%eax
add    $0xffffffee,%eax
mov    %eax,%ecx
mov    %rcx,-0x50(%rbp)
sub    $0x40,%eax
ja     32a5 <ms_smi+0x2185>
mov    -0x50(%rbp),%rax
lea    0x2e87(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x30(%rbp),%rsi
mov    -0x48(%rbp),%rax
mov    $0x3e8,%ecx
xor    %edx,%edx
div    %rcx
mov    %rax,%rdx
mov    -0x40(%rbp),%rax
mov    (%rax),%ecx
mov    -0x40(%rbp),%rax
mov    0x4(%rax),%r8d
mov    -0x40(%rbp),%rax
mov    0x8(%rax),%r9d
mov    -0x40(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x40(%rbp),%rdi
mov    0x10(%rdi),%edi
mov    %edi,-0x6c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x14(%rdi),%edi
mov    %edi,-0x68(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x18(%rdi),%edi
mov    %edi,-0x64(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x1c(%rdi),%edi
mov    %edi,-0x60(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x20(%rdi),%edi
mov    %edi,-0x5c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x24(%rdi),%edi
mov    %edi,-0x58(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x28(%rdi),%r13d
mov    -0x40(%rbp),%rdi
mov    0x2c(%rdi),%r12d
mov    -0x40(%rbp),%rdi
mov    0x30(%rdi),%r15d
mov    -0x40(%rbp),%rdi
mov    0x34(%rdi),%r14d
mov    -0x40(%rbp),%rdi
mov    0x38(%rdi),%ebx
mov    -0x40(%rbp),%rdi
mov    0x3c(%rdi),%r11d
mov    -0x40(%rbp),%rdi
mov    0x40(%rdi),%r10d
mov    -0x40(%rbp),%rdi
mov    0x44(%rdi),%edi
mov    %edi,-0x54(%rbp)
lea    0x2ecc(%rip),%rdi
mov    %eax,(%rsp)
mov    -0x6c(%rbp),%eax
mov    %eax,0x8(%rsp)
mov    -0x68(%rbp),%eax
mov    %eax,0x10(%rsp)
mov    -0x64(%rbp),%eax
mov    %eax,0x18(%rsp)
mov    -0x60(%rbp),%eax
mov    %eax,0x20(%rsp)
mov    -0x5c(%rbp),%eax
mov    %eax,0x28(%rsp)
mov    -0x58(%rbp),%eax
mov    %eax,0x30(%rsp)
mov    -0x54(%rbp),%eax
mov    %r13d,0x38(%rsp)
mov    %r12d,0x40(%rsp)
mov    %r15d,0x48(%rsp)
mov    %r14d,0x50(%rsp)
mov    %ebx,0x58(%rsp)
mov    %r11d,0x60(%rsp)
mov    %r10d,0x68(%rsp)
mov    %eax,0x70(%rsp)
mov    $0x0,%al
call   1040 <trace_printk@plt>
jmp    32a5 <ms_smi+0x2185>
mov    -0x30(%rbp),%rsi
mov    -0x48(%rbp),%rax
mov    $0x3e8,%ecx
xor    %edx,%edx
div    %rcx
mov    %rax,%rdx
mov    -0x40(%rbp),%rax
mov    (%rax),%ecx
mov    -0x40(%rbp),%rax
mov    0x4(%rax),%r8d
mov    -0x40(%rbp),%rax
mov    0x8(%rax),%r9d
mov    -0x40(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x40(%rbp),%rdi
mov    0x10(%rdi),%edi
mov    %edi,-0xb8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x14(%rdi),%edi
mov    %edi,-0xb4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x18(%rdi),%edi
mov    %edi,-0xb0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x1c(%rdi),%edi
mov    %edi,-0xac(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x20(%rdi),%edi
mov    %edi,-0xa8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x24(%rdi),%edi
mov    %edi,-0xa4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x28(%rdi),%edi
mov    %edi,-0xa0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x2c(%rdi),%edi
mov    %edi,-0x9c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x30(%rdi),%edi
mov    %edi,-0x98(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x34(%rdi),%edi
mov    %edi,-0x94(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x38(%rdi),%edi
mov    %edi,-0x90(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x3c(%rdi),%edi
mov    %edi,-0x8c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x40(%rdi),%edi
mov    %edi,-0x88(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x44(%rdi),%edi
mov    %edi,-0x84(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x48(%rdi),%edi
mov    %edi,-0x80(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x4c(%rdi),%edi
mov    %edi,-0x7c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x50(%rdi),%edi
mov    %edi,-0x78(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x54(%rdi),%edi
mov    %edi,-0x74(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x58(%rdi),%r13d
mov    -0x40(%rbp),%rdi
mov    0x5c(%rdi),%r12d
mov    -0x40(%rbp),%rdi
mov    0x60(%rdi),%r15d
mov    -0x40(%rbp),%rdi
mov    0x64(%rdi),%r14d
mov    -0x40(%rbp),%rdi
mov    0x68(%rdi),%ebx
mov    -0x40(%rbp),%rdi
mov    0x6c(%rdi),%r11d
mov    -0x40(%rbp),%rdi
mov    0x70(%rdi),%r10d
mov    -0x40(%rbp),%rdi
mov    0x74(%rdi),%edi
mov    %edi,-0x70(%rbp)
lea    0x2d54(%rip),%rdi
mov    %eax,(%rsp)
mov    -0xb8(%rbp),%eax
mov    %eax,0x8(%rsp)
mov    -0xb4(%rbp),%eax
mov    %eax,0x10(%rsp)
mov    -0xb0(%rbp),%eax
mov    %eax,0x18(%rsp)
mov    -0xac(%rbp),%eax
mov    %eax,0x20(%rsp)
mov    -0xa8(%rbp),%eax
mov    %eax,0x28(%rsp)
mov    -0xa4(%rbp),%eax
mov    %eax,0x30(%rsp)
mov    -0xa0(%rbp),%eax
mov    %eax,0x38(%rsp)
mov    -0x9c(%rbp),%eax
mov    %eax,0x40(%rsp)
mov    -0x98(%rbp),%eax
mov    %eax,0x48(%rsp)
mov    -0x94(%rbp),%eax
mov    %eax,0x50(%rsp)
mov    -0x90(%rbp),%eax
mov    %eax,0x58(%rsp)
mov    -0x8c(%rbp),%eax
mov    %eax,0x60(%rsp)
mov    -0x88(%rbp),%eax
mov    %eax,0x68(%rsp)
mov    -0x84(%rbp),%eax
mov    %eax,0x70(%rsp)
mov    -0x80(%rbp),%eax
mov    %eax,0x78(%rsp)
mov    -0x7c(%rbp),%eax
mov    %eax,0x80(%rsp)
mov    -0x78(%rbp),%eax
mov    %eax,0x88(%rsp)
mov    -0x74(%rbp),%eax
mov    %eax,0x90(%rsp)
mov    -0x70(%rbp),%eax
mov    %r13d,0x98(%rsp)
mov    %r12d,0xa0(%rsp)
mov    %r15d,0xa8(%rsp)
mov    %r14d,0xb0(%rsp)
mov    %ebx,0xb8(%rsp)
mov    %r11d,0xc0(%rsp)
mov    %r10d,0xc8(%rsp)
mov    %eax,0xd0(%rsp)
mov    $0x0,%al
call   1040 <trace_printk@plt>
jmp    32a5 <ms_smi+0x2185>
mov    -0x30(%rbp),%rsi
mov    -0x48(%rbp),%rax
mov    $0x3e8,%ecx
xor    %edx,%edx
div    %rcx
mov    %rax,%rdx
mov    -0x40(%rbp),%rax
mov    (%rax),%ecx
mov    -0x40(%rbp),%rax
mov    0x4(%rax),%r8d
mov    -0x40(%rbp),%rax
mov    0x8(%rax),%r9d
mov    -0x40(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x40(%rbp),%rdi
mov    0x10(%rdi),%edi
mov    %edi,-0x114(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x14(%rdi),%edi
mov    %edi,-0x110(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x18(%rdi),%edi
mov    %edi,-0x10c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x1c(%rdi),%edi
mov    %edi,-0x108(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x20(%rdi),%edi
mov    %edi,-0x104(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x24(%rdi),%edi
mov    %edi,-0x100(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x28(%rdi),%edi
mov    %edi,-0xfc(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x2c(%rdi),%edi
mov    %edi,-0xf8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x30(%rdi),%edi
mov    %edi,-0xf4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x34(%rdi),%edi
mov    %edi,-0xf0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x38(%rdi),%edi
mov    %edi,-0xec(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x3c(%rdi),%edi
mov    %edi,-0xe8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x40(%rdi),%edi
mov    %edi,-0xe4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x44(%rdi),%edi
mov    %edi,-0xe0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x48(%rdi),%edi
mov    %edi,-0xdc(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x4c(%rdi),%edi
mov    %edi,-0xd8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x50(%rdi),%edi
mov    %edi,-0xd4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x54(%rdi),%edi
mov    %edi,-0xd0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x58(%rdi),%edi
mov    %edi,-0xcc(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x5c(%rdi),%edi
mov    %edi,-0xc8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x60(%rdi),%edi
mov    %edi,-0xc4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x64(%rdi),%edi
mov    %edi,-0xc0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x68(%rdi),%r13d
mov    -0x40(%rbp),%rdi
mov    0x6c(%rdi),%r12d
mov    -0x40(%rbp),%rdi
mov    0x70(%rdi),%r15d
mov    -0x40(%rbp),%rdi
mov    0x74(%rdi),%r14d
mov    -0x40(%rbp),%rdi
mov    0x78(%rdi),%ebx
mov    -0x40(%rbp),%rdi
mov    0x7c(%rdi),%r11d
mov    -0x40(%rbp),%rdi
mov    0x80(%rdi),%r10d
mov    -0x40(%rbp),%rdi
mov    0x84(%rdi),%edi
mov    %edi,-0xbc(%rbp)
lea    0x2b18(%rip),%rdi
mov    %eax,(%rsp)
mov    -0x114(%rbp),%eax
mov    %eax,0x8(%rsp)
mov    -0x110(%rbp),%eax
mov    %eax,0x10(%rsp)
mov    -0x10c(%rbp),%eax
mov    %eax,0x18(%rsp)
mov    -0x108(%rbp),%eax
mov    %eax,0x20(%rsp)
mov    -0x104(%rbp),%eax
mov    %eax,0x28(%rsp)
mov    -0x100(%rbp),%eax
mov    %eax,0x30(%rsp)
mov    -0xfc(%rbp),%eax
mov    %eax,0x38(%rsp)
mov    -0xf8(%rbp),%eax
mov    %eax,0x40(%rsp)
mov    -0xf4(%rbp),%eax
mov    %eax,0x48(%rsp)
mov    -0xf0(%rbp),%eax
mov    %eax,0x50(%rsp)
mov    -0xec(%rbp),%eax
mov    %eax,0x58(%rsp)
mov    -0xe8(%rbp),%eax
mov    %eax,0x60(%rsp)
mov    -0xe4(%rbp),%eax
mov    %eax,0x68(%rsp)
mov    -0xe0(%rbp),%eax
mov    %eax,0x70(%rsp)
mov    -0xdc(%rbp),%eax
mov    %eax,0x78(%rsp)
mov    -0xd8(%rbp),%eax
mov    %eax,0x80(%rsp)
mov    -0xd4(%rbp),%eax
mov    %eax,0x88(%rsp)
mov    -0xd0(%rbp),%eax
mov    %eax,0x90(%rsp)
mov    -0xcc(%rbp),%eax
mov    %eax,0x98(%rsp)
mov    -0xc8(%rbp),%eax
mov    %eax,0xa0(%rsp)
mov    -0xc4(%rbp),%eax
mov    %eax,0xa8(%rsp)
mov    -0xc0(%rbp),%eax
mov    %eax,0xb0(%rsp)
mov    -0xbc(%rbp),%eax
mov    %r13d,0xb8(%rsp)
mov    %r12d,0xc0(%rsp)
mov    %r15d,0xc8(%rsp)
mov    %r14d,0xd0(%rsp)
mov    %ebx,0xd8(%rsp)
mov    %r11d,0xe0(%rsp)
mov    %r10d,0xe8(%rsp)
mov    %eax,0xf0(%rsp)
mov    $0x0,%al
call   1040 <trace_printk@plt>
jmp    32a5 <ms_smi+0x2185>
mov    -0x30(%rbp),%rsi
mov    -0x48(%rbp),%rax
mov    $0x3e8,%ecx
xor    %edx,%edx
div    %rcx
mov    %rax,%rdx
mov    -0x40(%rbp),%rax
mov    (%rax),%ecx
mov    -0x40(%rbp),%rax
mov    0x4(%rax),%r8d
mov    -0x40(%rbp),%rax
mov    0x8(%rax),%r9d
mov    -0x40(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x40(%rbp),%rdi
mov    0x10(%rdi),%edi
mov    %edi,-0x17c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x14(%rdi),%edi
mov    %edi,-0x178(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x18(%rdi),%edi
mov    %edi,-0x174(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x1c(%rdi),%edi
mov    %edi,-0x170(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x20(%rdi),%edi
mov    %edi,-0x16c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x24(%rdi),%edi
mov    %edi,-0x168(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x28(%rdi),%edi
mov    %edi,-0x164(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x2c(%rdi),%edi
mov    %edi,-0x160(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x30(%rdi),%edi
mov    %edi,-0x15c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x34(%rdi),%edi
mov    %edi,-0x158(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x38(%rdi),%edi
mov    %edi,-0x154(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x3c(%rdi),%edi
mov    %edi,-0x150(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x40(%rdi),%edi
mov    %edi,-0x14c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x44(%rdi),%edi
mov    %edi,-0x148(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x48(%rdi),%edi
mov    %edi,-0x144(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x4c(%rdi),%edi
mov    %edi,-0x140(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x50(%rdi),%edi
mov    %edi,-0x13c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x54(%rdi),%edi
mov    %edi,-0x138(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x58(%rdi),%edi
mov    %edi,-0x134(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x5c(%rdi),%edi
mov    %edi,-0x130(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x60(%rdi),%edi
mov    %edi,-0x12c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x64(%rdi),%edi
mov    %edi,-0x128(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x68(%rdi),%edi
mov    %edi,-0x124(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x6c(%rdi),%edi
mov    %edi,-0x120(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x70(%rdi),%edi
mov    %edi,-0x11c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x74(%rdi),%r13d
mov    -0x40(%rbp),%rdi
mov    0x78(%rdi),%r12d
mov    -0x40(%rbp),%rdi
mov    0x7c(%rdi),%r15d
mov    -0x40(%rbp),%rdi
mov    0x80(%rdi),%r14d
mov    -0x40(%rbp),%rdi
mov    0x84(%rdi),%ebx
mov    -0x40(%rbp),%rdi
mov    0x88(%rdi),%r11d
mov    -0x40(%rbp),%rdi
mov    0x8c(%rdi),%r10d
mov    -0x40(%rbp),%rdi
mov    0x90(%rdi),%edi
mov    %edi,-0x118(%rbp)
lea    0x2875(%rip),%rdi
mov    %eax,(%rsp)
mov    -0x17c(%rbp),%eax
mov    %eax,0x8(%rsp)
mov    -0x178(%rbp),%eax
mov    %eax,0x10(%rsp)
mov    -0x174(%rbp),%eax
mov    %eax,0x18(%rsp)
mov    -0x170(%rbp),%eax
mov    %eax,0x20(%rsp)
mov    -0x16c(%rbp),%eax
mov    %eax,0x28(%rsp)
mov    -0x168(%rbp),%eax
mov    %eax,0x30(%rsp)
mov    -0x164(%rbp),%eax
mov    %eax,0x38(%rsp)
mov    -0x160(%rbp),%eax
mov    %eax,0x40(%rsp)
mov    -0x15c(%rbp),%eax
mov    %eax,0x48(%rsp)
mov    -0x158(%rbp),%eax
mov    %eax,0x50(%rsp)
mov    -0x154(%rbp),%eax
mov    %eax,0x58(%rsp)
mov    -0x150(%rbp),%eax
mov    %eax,0x60(%rsp)
mov    -0x14c(%rbp),%eax
mov    %eax,0x68(%rsp)
mov    -0x148(%rbp),%eax
mov    %eax,0x70(%rsp)
mov    -0x144(%rbp),%eax
mov    %eax,0x78(%rsp)
mov    -0x140(%rbp),%eax
mov    %eax,0x80(%rsp)
mov    -0x13c(%rbp),%eax
mov    %eax,0x88(%rsp)
mov    -0x138(%rbp),%eax
mov    %eax,0x90(%rsp)
mov    -0x134(%rbp),%eax
mov    %eax,0x98(%rsp)
mov    -0x130(%rbp),%eax
mov    %eax,0xa0(%rsp)
mov    -0x12c(%rbp),%eax
mov    %eax,0xa8(%rsp)
mov    -0x128(%rbp),%eax
mov    %eax,0xb0(%rsp)
mov    -0x124(%rbp),%eax
mov    %eax,0xb8(%rsp)
mov    -0x120(%rbp),%eax
mov    %eax,0xc0(%rsp)
mov    -0x11c(%rbp),%eax
mov    %eax,0xc8(%rsp)
mov    -0x118(%rbp),%eax
mov    %r13d,0xd0(%rsp)
mov    %r12d,0xd8(%rsp)
mov    %r15d,0xe0(%rsp)
mov    %r14d,0xe8(%rsp)
mov    %ebx,0xf0(%rsp)
mov    %r11d,0xf8(%rsp)
mov    %r10d,0x100(%rsp)
mov    %eax,0x108(%rsp)
mov    $0x0,%al
call   1040 <trace_printk@plt>
jmp    32a5 <ms_smi+0x2185>
mov    -0x30(%rbp),%rsi
mov    -0x48(%rbp),%rax
mov    $0x3e8,%ecx
xor    %edx,%edx
div    %rcx
mov    %rax,%rdx
mov    -0x40(%rbp),%rax
mov    (%rax),%ecx
mov    -0x40(%rbp),%rax
mov    0x4(%rax),%r8d
mov    -0x40(%rbp),%rax
mov    0x8(%rax),%r9d
mov    -0x40(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x40(%rbp),%rdi
mov    0x10(%rdi),%edi
mov    %edi,-0x200(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x14(%rdi),%edi
mov    %edi,-0x1fc(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x18(%rdi),%edi
mov    %edi,-0x1f8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x1c(%rdi),%edi
mov    %edi,-0x1f4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x20(%rdi),%edi
mov    %edi,-0x1f0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x24(%rdi),%edi
mov    %edi,-0x1ec(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x28(%rdi),%edi
mov    %edi,-0x1e8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x2c(%rdi),%edi
mov    %edi,-0x1e4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x30(%rdi),%edi
mov    %edi,-0x1e0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x34(%rdi),%edi
mov    %edi,-0x1dc(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x38(%rdi),%edi
mov    %edi,-0x1d8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x3c(%rdi),%edi
mov    %edi,-0x1d4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x40(%rdi),%edi
mov    %edi,-0x1d0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x44(%rdi),%edi
mov    %edi,-0x1cc(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x48(%rdi),%edi
mov    %edi,-0x1c8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x4c(%rdi),%edi
mov    %edi,-0x1c4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x50(%rdi),%edi
mov    %edi,-0x1c0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x54(%rdi),%edi
mov    %edi,-0x1bc(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x58(%rdi),%edi
mov    %edi,-0x1b8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x5c(%rdi),%edi
mov    %edi,-0x1b4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x60(%rdi),%edi
mov    %edi,-0x1b0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x64(%rdi),%edi
mov    %edi,-0x1ac(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x68(%rdi),%edi
mov    %edi,-0x1a8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x6c(%rdi),%edi
mov    %edi,-0x1a4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x70(%rdi),%edi
mov    %edi,-0x1a0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x74(%rdi),%edi
mov    %edi,-0x19c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x78(%rdi),%edi
mov    %edi,-0x198(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x7c(%rdi),%edi
mov    %edi,-0x194(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x80(%rdi),%edi
mov    %edi,-0x190(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x84(%rdi),%edi
mov    %edi,-0x18c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x88(%rdi),%edi
mov    %edi,-0x188(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x8c(%rdi),%edi
mov    %edi,-0x184(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x90(%rdi),%r13d
mov    -0x40(%rbp),%rdi
mov    0x94(%rdi),%r12d
mov    -0x40(%rbp),%rdi
mov    0x98(%rdi),%r15d
mov    -0x40(%rbp),%rdi
mov    0x9c(%rdi),%r14d
mov    -0x40(%rbp),%rdi
mov    0xa0(%rdi),%ebx
mov    -0x40(%rbp),%rdi
mov    0xa4(%rdi),%r11d
mov    -0x40(%rbp),%rdi
mov    0xa8(%rdi),%r10d
mov    -0x40(%rbp),%rdi
mov    0xac(%rdi),%edi
mov    %edi,-0x180(%rbp)
lea    0x2544(%rip),%rdi
mov    %eax,(%rsp)
mov    -0x200(%rbp),%eax
mov    %eax,0x8(%rsp)
mov    -0x1fc(%rbp),%eax
mov    %eax,0x10(%rsp)
mov    -0x1f8(%rbp),%eax
mov    %eax,0x18(%rsp)
mov    -0x1f4(%rbp),%eax
mov    %eax,0x20(%rsp)
mov    -0x1f0(%rbp),%eax
mov    %eax,0x28(%rsp)
mov    -0x1ec(%rbp),%eax
mov    %eax,0x30(%rsp)
mov    -0x1e8(%rbp),%eax
mov    %eax,0x38(%rsp)
mov    -0x1e4(%rbp),%eax
mov    %eax,0x40(%rsp)
mov    -0x1e0(%rbp),%eax
mov    %eax,0x48(%rsp)
mov    -0x1dc(%rbp),%eax
mov    %eax,0x50(%rsp)
mov    -0x1d8(%rbp),%eax
mov    %eax,0x58(%rsp)
mov    -0x1d4(%rbp),%eax
mov    %eax,0x60(%rsp)
mov    -0x1d0(%rbp),%eax
mov    %eax,0x68(%rsp)
mov    -0x1cc(%rbp),%eax
mov    %eax,0x70(%rsp)
mov    -0x1c8(%rbp),%eax
mov    %eax,0x78(%rsp)
mov    -0x1c4(%rbp),%eax
mov    %eax,0x80(%rsp)
mov    -0x1c0(%rbp),%eax
mov    %eax,0x88(%rsp)
mov    -0x1bc(%rbp),%eax
mov    %eax,0x90(%rsp)
mov    -0x1b8(%rbp),%eax
mov    %eax,0x98(%rsp)
mov    -0x1b4(%rbp),%eax
mov    %eax,0xa0(%rsp)
mov    -0x1b0(%rbp),%eax
mov    %eax,0xa8(%rsp)
mov    -0x1ac(%rbp),%eax
mov    %eax,0xb0(%rsp)
mov    -0x1a8(%rbp),%eax
mov    %eax,0xb8(%rsp)
mov    -0x1a4(%rbp),%eax
mov    %eax,0xc0(%rsp)
mov    -0x1a0(%rbp),%eax
mov    %eax,0xc8(%rsp)
mov    -0x19c(%rbp),%eax
mov    %eax,0xd0(%rsp)
mov    -0x198(%rbp),%eax
mov    %eax,0xd8(%rsp)
mov    -0x194(%rbp),%eax
mov    %eax,0xe0(%rsp)
mov    -0x190(%rbp),%eax
mov    %eax,0xe8(%rsp)
mov    -0x18c(%rbp),%eax
mov    %eax,0xf0(%rsp)
mov    -0x188(%rbp),%eax
mov    %eax,0xf8(%rsp)
mov    -0x184(%rbp),%eax
mov    %eax,0x100(%rsp)
mov    -0x180(%rbp),%eax
mov    %r13d,0x108(%rsp)
mov    %r12d,0x110(%rsp)
mov    %r15d,0x118(%rsp)
mov    %r14d,0x120(%rsp)
mov    %ebx,0x128(%rsp)
mov    %r11d,0x130(%rsp)
mov    %r10d,0x138(%rsp)
mov    %eax,0x140(%rsp)
mov    $0x0,%al
call   1040 <trace_printk@plt>
jmp    32a5 <ms_smi+0x2185>
mov    -0x30(%rbp),%rsi
mov    -0x48(%rbp),%rax
mov    $0x3e8,%ecx
xor    %edx,%edx
div    %rcx
mov    %rax,%rdx
mov    -0x40(%rbp),%rax
mov    (%rax),%ecx
mov    -0x40(%rbp),%rax
mov    0x4(%rax),%r8d
mov    -0x40(%rbp),%rax
mov    0x8(%rax),%r9d
mov    -0x40(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x40(%rbp),%rdi
mov    0x10(%rdi),%edi
mov    %edi,-0x29c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x14(%rdi),%edi
mov    %edi,-0x298(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x18(%rdi),%edi
mov    %edi,-0x294(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x1c(%rdi),%edi
mov    %edi,-0x290(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x20(%rdi),%edi
mov    %edi,-0x28c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x24(%rdi),%edi
mov    %edi,-0x288(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x28(%rdi),%edi
mov    %edi,-0x284(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x2c(%rdi),%edi
mov    %edi,-0x280(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x30(%rdi),%edi
mov    %edi,-0x27c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x34(%rdi),%edi
mov    %edi,-0x278(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x38(%rdi),%edi
mov    %edi,-0x274(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x3c(%rdi),%edi
mov    %edi,-0x270(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x40(%rdi),%edi
mov    %edi,-0x26c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x44(%rdi),%edi
mov    %edi,-0x268(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x48(%rdi),%edi
mov    %edi,-0x264(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x4c(%rdi),%edi
mov    %edi,-0x260(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x50(%rdi),%edi
mov    %edi,-0x25c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x54(%rdi),%edi
mov    %edi,-0x258(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x58(%rdi),%edi
mov    %edi,-0x254(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x5c(%rdi),%edi
mov    %edi,-0x250(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x60(%rdi),%edi
mov    %edi,-0x24c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x64(%rdi),%edi
mov    %edi,-0x248(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x68(%rdi),%edi
mov    %edi,-0x244(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x6c(%rdi),%edi
mov    %edi,-0x240(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x70(%rdi),%edi
mov    %edi,-0x23c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x74(%rdi),%edi
mov    %edi,-0x238(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x78(%rdi),%edi
mov    %edi,-0x234(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x7c(%rdi),%edi
mov    %edi,-0x230(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x80(%rdi),%edi
mov    %edi,-0x22c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x84(%rdi),%edi
mov    %edi,-0x228(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x88(%rdi),%edi
mov    %edi,-0x224(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x8c(%rdi),%edi
mov    %edi,-0x220(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x90(%rdi),%edi
mov    %edi,-0x21c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x94(%rdi),%edi
mov    %edi,-0x218(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x98(%rdi),%edi
mov    %edi,-0x214(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x9c(%rdi),%edi
mov    %edi,-0x210(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xa0(%rdi),%edi
mov    %edi,-0x20c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xa4(%rdi),%edi
mov    %edi,-0x208(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xa8(%rdi),%r13d
mov    -0x40(%rbp),%rdi
mov    0xac(%rdi),%r12d
mov    -0x40(%rbp),%rdi
mov    0xb0(%rdi),%r15d
mov    -0x40(%rbp),%rdi
mov    0xb4(%rdi),%r14d
mov    -0x40(%rbp),%rdi
mov    0xb8(%rdi),%ebx
mov    -0x40(%rbp),%rdi
mov    0xbc(%rdi),%r11d
mov    -0x40(%rbp),%rdi
mov    0xc0(%rdi),%r10d
mov    -0x40(%rbp),%rdi
mov    0xc4(%rdi),%edi
mov    %edi,-0x204(%rbp)
lea    0x216d(%rip),%rdi
mov    %eax,(%rsp)
mov    -0x29c(%rbp),%eax
mov    %eax,0x8(%rsp)
mov    -0x298(%rbp),%eax
mov    %eax,0x10(%rsp)
mov    -0x294(%rbp),%eax
mov    %eax,0x18(%rsp)
mov    -0x290(%rbp),%eax
mov    %eax,0x20(%rsp)
mov    -0x28c(%rbp),%eax
mov    %eax,0x28(%rsp)
mov    -0x288(%rbp),%eax
mov    %eax,0x30(%rsp)
mov    -0x284(%rbp),%eax
mov    %eax,0x38(%rsp)
mov    -0x280(%rbp),%eax
mov    %eax,0x40(%rsp)
mov    -0x27c(%rbp),%eax
mov    %eax,0x48(%rsp)
mov    -0x278(%rbp),%eax
mov    %eax,0x50(%rsp)
mov    -0x274(%rbp),%eax
mov    %eax,0x58(%rsp)
mov    -0x270(%rbp),%eax
mov    %eax,0x60(%rsp)
mov    -0x26c(%rbp),%eax
mov    %eax,0x68(%rsp)
mov    -0x268(%rbp),%eax
mov    %eax,0x70(%rsp)
mov    -0x264(%rbp),%eax
mov    %eax,0x78(%rsp)
mov    -0x260(%rbp),%eax
mov    %eax,0x80(%rsp)
mov    -0x25c(%rbp),%eax
mov    %eax,0x88(%rsp)
mov    -0x258(%rbp),%eax
mov    %eax,0x90(%rsp)
mov    -0x254(%rbp),%eax
mov    %eax,0x98(%rsp)
mov    -0x250(%rbp),%eax
mov    %eax,0xa0(%rsp)
mov    -0x24c(%rbp),%eax
mov    %eax,0xa8(%rsp)
mov    -0x248(%rbp),%eax
mov    %eax,0xb0(%rsp)
mov    -0x244(%rbp),%eax
mov    %eax,0xb8(%rsp)
mov    -0x240(%rbp),%eax
mov    %eax,0xc0(%rsp)
mov    -0x23c(%rbp),%eax
mov    %eax,0xc8(%rsp)
mov    -0x238(%rbp),%eax
mov    %eax,0xd0(%rsp)
mov    -0x234(%rbp),%eax
mov    %eax,0xd8(%rsp)
mov    -0x230(%rbp),%eax
mov    %eax,0xe0(%rsp)
mov    -0x22c(%rbp),%eax
mov    %eax,0xe8(%rsp)
mov    -0x228(%rbp),%eax
mov    %eax,0xf0(%rsp)
mov    -0x224(%rbp),%eax
mov    %eax,0xf8(%rsp)
mov    -0x220(%rbp),%eax
mov    %eax,0x100(%rsp)
mov    -0x21c(%rbp),%eax
mov    %eax,0x108(%rsp)
mov    -0x218(%rbp),%eax
mov    %eax,0x110(%rsp)
mov    -0x214(%rbp),%eax
mov    %eax,0x118(%rsp)
mov    -0x210(%rbp),%eax
mov    %eax,0x120(%rsp)
mov    -0x20c(%rbp),%eax
mov    %eax,0x128(%rsp)
mov    -0x208(%rbp),%eax
mov    %eax,0x130(%rsp)
mov    -0x204(%rbp),%eax
mov    %r13d,0x138(%rsp)
mov    %r12d,0x140(%rsp)
mov    %r15d,0x148(%rsp)
mov    %r14d,0x150(%rsp)
mov    %ebx,0x158(%rsp)
mov    %r11d,0x160(%rsp)
mov    %r10d,0x168(%rsp)
mov    %eax,0x170(%rsp)
mov    $0x0,%al
call   1040 <trace_printk@plt>
jmp    32a5 <ms_smi+0x2185>
mov    -0x30(%rbp),%rsi
mov    -0x48(%rbp),%rax
mov    $0x3e8,%ecx
xor    %edx,%edx
div    %rcx
mov    %rax,%rdx
mov    -0x40(%rbp),%rax
mov    (%rax),%ecx
mov    -0x40(%rbp),%rax
mov    0x4(%rax),%r8d
mov    -0x40(%rbp),%rax
mov    0x8(%rax),%r9d
mov    -0x40(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x40(%rbp),%rdi
mov    0x10(%rdi),%edi
mov    %edi,-0x378(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x14(%rdi),%edi
mov    %edi,-0x374(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x18(%rdi),%edi
mov    %edi,-0x370(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x1c(%rdi),%edi
mov    %edi,-0x36c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x20(%rdi),%edi
mov    %edi,-0x368(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x24(%rdi),%edi
mov    %edi,-0x364(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x28(%rdi),%edi
mov    %edi,-0x360(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x2c(%rdi),%edi
mov    %edi,-0x35c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x30(%rdi),%edi
mov    %edi,-0x358(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x34(%rdi),%edi
mov    %edi,-0x354(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x38(%rdi),%edi
mov    %edi,-0x350(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x3c(%rdi),%edi
mov    %edi,-0x34c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x40(%rdi),%edi
mov    %edi,-0x348(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x44(%rdi),%edi
mov    %edi,-0x344(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x48(%rdi),%edi
mov    %edi,-0x340(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x4c(%rdi),%edi
mov    %edi,-0x33c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x50(%rdi),%edi
mov    %edi,-0x338(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x54(%rdi),%edi
mov    %edi,-0x334(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x58(%rdi),%edi
mov    %edi,-0x330(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x5c(%rdi),%edi
mov    %edi,-0x32c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x60(%rdi),%edi
mov    %edi,-0x328(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x64(%rdi),%edi
mov    %edi,-0x324(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x68(%rdi),%edi
mov    %edi,-0x320(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x6c(%rdi),%edi
mov    %edi,-0x31c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x70(%rdi),%edi
mov    %edi,-0x318(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x74(%rdi),%edi
mov    %edi,-0x314(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x78(%rdi),%edi
mov    %edi,-0x310(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x7c(%rdi),%edi
mov    %edi,-0x30c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x80(%rdi),%edi
mov    %edi,-0x308(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x84(%rdi),%edi
mov    %edi,-0x304(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x88(%rdi),%edi
mov    %edi,-0x300(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x8c(%rdi),%edi
mov    %edi,-0x2fc(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x90(%rdi),%edi
mov    %edi,-0x2f8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x94(%rdi),%edi
mov    %edi,-0x2f4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x98(%rdi),%edi
mov    %edi,-0x2f0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x9c(%rdi),%edi
mov    %edi,-0x2ec(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xa0(%rdi),%edi
mov    %edi,-0x2e8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xa4(%rdi),%edi
mov    %edi,-0x2e4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xa8(%rdi),%edi
mov    %edi,-0x2e0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xac(%rdi),%edi
mov    %edi,-0x2dc(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xb0(%rdi),%edi
mov    %edi,-0x2d8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xb4(%rdi),%edi
mov    %edi,-0x2d4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xb8(%rdi),%edi
mov    %edi,-0x2d0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xbc(%rdi),%edi
mov    %edi,-0x2cc(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xc0(%rdi),%edi
mov    %edi,-0x2c8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xc4(%rdi),%edi
mov    %edi,-0x2c4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xc8(%rdi),%edi
mov    %edi,-0x2c0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xcc(%rdi),%edi
mov    %edi,-0x2bc(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xd0(%rdi),%edi
mov    %edi,-0x2b8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xd4(%rdi),%edi
mov    %edi,-0x2b4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xd8(%rdi),%edi
mov    %edi,-0x2b0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xdc(%rdi),%edi
mov    %edi,-0x2ac(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xe0(%rdi),%edi
mov    %edi,-0x2a8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xe4(%rdi),%edi
mov    %edi,-0x2a4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xe8(%rdi),%r13d
mov    -0x40(%rbp),%rdi
mov    0xec(%rdi),%r12d
mov    -0x40(%rbp),%rdi
mov    0xf0(%rdi),%r15d
mov    -0x40(%rbp),%rdi
mov    0xf4(%rdi),%r14d
mov    -0x40(%rbp),%rdi
mov    0xf8(%rdi),%ebx
mov    -0x40(%rbp),%rdi
mov    0xfc(%rdi),%r11d
mov    -0x40(%rbp),%rdi
mov    0x100(%rdi),%r10d
mov    -0x40(%rbp),%rdi
mov    0x104(%rdi),%edi
mov    %edi,-0x2a0(%rbp)
lea    0x1c5a(%rip),%rdi
mov    %eax,(%rsp)
mov    -0x378(%rbp),%eax
mov    %eax,0x8(%rsp)
mov    -0x374(%rbp),%eax
mov    %eax,0x10(%rsp)
mov    -0x370(%rbp),%eax
mov    %eax,0x18(%rsp)
mov    -0x36c(%rbp),%eax
mov    %eax,0x20(%rsp)
mov    -0x368(%rbp),%eax
mov    %eax,0x28(%rsp)
mov    -0x364(%rbp),%eax
mov    %eax,0x30(%rsp)
mov    -0x360(%rbp),%eax
mov    %eax,0x38(%rsp)
mov    -0x35c(%rbp),%eax
mov    %eax,0x40(%rsp)
mov    -0x358(%rbp),%eax
mov    %eax,0x48(%rsp)
mov    -0x354(%rbp),%eax
mov    %eax,0x50(%rsp)
mov    -0x350(%rbp),%eax
mov    %eax,0x58(%rsp)
mov    -0x34c(%rbp),%eax
mov    %eax,0x60(%rsp)
mov    -0x348(%rbp),%eax
mov    %eax,0x68(%rsp)
mov    -0x344(%rbp),%eax
mov    %eax,0x70(%rsp)
mov    -0x340(%rbp),%eax
mov    %eax,0x78(%rsp)
mov    -0x33c(%rbp),%eax
mov    %eax,0x80(%rsp)
mov    -0x338(%rbp),%eax
mov    %eax,0x88(%rsp)
mov    -0x334(%rbp),%eax
mov    %eax,0x90(%rsp)
mov    -0x330(%rbp),%eax
mov    %eax,0x98(%rsp)
mov    -0x32c(%rbp),%eax
mov    %eax,0xa0(%rsp)
mov    -0x328(%rbp),%eax
mov    %eax,0xa8(%rsp)
mov    -0x324(%rbp),%eax
mov    %eax,0xb0(%rsp)
mov    -0x320(%rbp),%eax
mov    %eax,0xb8(%rsp)
mov    -0x31c(%rbp),%eax
mov    %eax,0xc0(%rsp)
mov    -0x318(%rbp),%eax
mov    %eax,0xc8(%rsp)
mov    -0x314(%rbp),%eax
mov    %eax,0xd0(%rsp)
mov    -0x310(%rbp),%eax
mov    %eax,0xd8(%rsp)
mov    -0x30c(%rbp),%eax
mov    %eax,0xe0(%rsp)
mov    -0x308(%rbp),%eax
mov    %eax,0xe8(%rsp)
mov    -0x304(%rbp),%eax
mov    %eax,0xf0(%rsp)
mov    -0x300(%rbp),%eax
mov    %eax,0xf8(%rsp)
mov    -0x2fc(%rbp),%eax
mov    %eax,0x100(%rsp)
mov    -0x2f8(%rbp),%eax
mov    %eax,0x108(%rsp)
mov    -0x2f4(%rbp),%eax
mov    %eax,0x110(%rsp)
mov    -0x2f0(%rbp),%eax
mov    %eax,0x118(%rsp)
mov    -0x2ec(%rbp),%eax
mov    %eax,0x120(%rsp)
mov    -0x2e8(%rbp),%eax
mov    %eax,0x128(%rsp)
mov    -0x2e4(%rbp),%eax
mov    %eax,0x130(%rsp)
mov    -0x2e0(%rbp),%eax
mov    %eax,0x138(%rsp)
mov    -0x2dc(%rbp),%eax
mov    %eax,0x140(%rsp)
mov    -0x2d8(%rbp),%eax
mov    %eax,0x148(%rsp)
mov    -0x2d4(%rbp),%eax
mov    %eax,0x150(%rsp)
mov    -0x2d0(%rbp),%eax
mov    %eax,0x158(%rsp)
mov    -0x2cc(%rbp),%eax
mov    %eax,0x160(%rsp)
mov    -0x2c8(%rbp),%eax
mov    %eax,0x168(%rsp)
mov    -0x2c4(%rbp),%eax
mov    %eax,0x170(%rsp)
mov    -0x2c0(%rbp),%eax
mov    %eax,0x178(%rsp)
mov    -0x2bc(%rbp),%eax
mov    %eax,0x180(%rsp)
mov    -0x2b8(%rbp),%eax
mov    %eax,0x188(%rsp)
mov    -0x2b4(%rbp),%eax
mov    %eax,0x190(%rsp)
mov    -0x2b0(%rbp),%eax
mov    %eax,0x198(%rsp)
mov    -0x2ac(%rbp),%eax
mov    %eax,0x1a0(%rsp)
mov    -0x2a8(%rbp),%eax
mov    %eax,0x1a8(%rsp)
mov    -0x2a4(%rbp),%eax
mov    %eax,0x1b0(%rsp)
mov    -0x2a0(%rbp),%eax
mov    %r13d,0x1b8(%rsp)
mov    %r12d,0x1c0(%rsp)
mov    %r15d,0x1c8(%rsp)
mov    %r14d,0x1d0(%rsp)
mov    %ebx,0x1d8(%rsp)
mov    %r11d,0x1e0(%rsp)
mov    %r10d,0x1e8(%rsp)
mov    %eax,0x1f0(%rsp)
mov    $0x0,%al
call   1040 <trace_printk@plt>
jmp    32a5 <ms_smi+0x2185>
mov    -0x30(%rbp),%rsi
mov    -0x48(%rbp),%rax
mov    $0x3e8,%ecx
xor    %edx,%edx
div    %rcx
mov    %rax,%rdx
mov    -0x40(%rbp),%rax
mov    (%rax),%ecx
mov    -0x40(%rbp),%rax
mov    0x4(%rax),%r8d
mov    -0x40(%rbp),%rax
mov    0x8(%rax),%r9d
mov    -0x40(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x40(%rbp),%rdi
mov    0x10(%rdi),%edi
mov    %edi,-0x494(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x14(%rdi),%edi
mov    %edi,-0x490(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x18(%rdi),%edi
mov    %edi,-0x48c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x1c(%rdi),%edi
mov    %edi,-0x488(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x20(%rdi),%edi
mov    %edi,-0x484(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x24(%rdi),%edi
mov    %edi,-0x480(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x28(%rdi),%edi
mov    %edi,-0x47c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x2c(%rdi),%edi
mov    %edi,-0x478(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x30(%rdi),%edi
mov    %edi,-0x474(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x34(%rdi),%edi
mov    %edi,-0x470(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x38(%rdi),%edi
mov    %edi,-0x46c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x3c(%rdi),%edi
mov    %edi,-0x468(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x40(%rdi),%edi
mov    %edi,-0x464(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x44(%rdi),%edi
mov    %edi,-0x460(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x48(%rdi),%edi
mov    %edi,-0x45c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x4c(%rdi),%edi
mov    %edi,-0x458(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x50(%rdi),%edi
mov    %edi,-0x454(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x54(%rdi),%edi
mov    %edi,-0x450(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x58(%rdi),%edi
mov    %edi,-0x44c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x5c(%rdi),%edi
mov    %edi,-0x448(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x60(%rdi),%edi
mov    %edi,-0x444(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x64(%rdi),%edi
mov    %edi,-0x440(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x68(%rdi),%edi
mov    %edi,-0x43c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x6c(%rdi),%edi
mov    %edi,-0x438(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x70(%rdi),%edi
mov    %edi,-0x434(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x74(%rdi),%edi
mov    %edi,-0x430(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x78(%rdi),%edi
mov    %edi,-0x42c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x7c(%rdi),%edi
mov    %edi,-0x428(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x80(%rdi),%edi
mov    %edi,-0x424(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x84(%rdi),%edi
mov    %edi,-0x420(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x88(%rdi),%edi
mov    %edi,-0x41c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x8c(%rdi),%edi
mov    %edi,-0x418(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x90(%rdi),%edi
mov    %edi,-0x414(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x94(%rdi),%edi
mov    %edi,-0x410(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x98(%rdi),%edi
mov    %edi,-0x40c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x9c(%rdi),%edi
mov    %edi,-0x408(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xa0(%rdi),%edi
mov    %edi,-0x404(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xa4(%rdi),%edi
mov    %edi,-0x400(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xa8(%rdi),%edi
mov    %edi,-0x3fc(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xac(%rdi),%edi
mov    %edi,-0x3f8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xb0(%rdi),%edi
mov    %edi,-0x3f4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xb4(%rdi),%edi
mov    %edi,-0x3f0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xb8(%rdi),%edi
mov    %edi,-0x3ec(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xbc(%rdi),%edi
mov    %edi,-0x3e8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xc0(%rdi),%edi
mov    %edi,-0x3e4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xc4(%rdi),%edi
mov    %edi,-0x3e0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xc8(%rdi),%edi
mov    %edi,-0x3dc(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xcc(%rdi),%edi
mov    %edi,-0x3d8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xd0(%rdi),%edi
mov    %edi,-0x3d4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xd4(%rdi),%edi
mov    %edi,-0x3d0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xd8(%rdi),%edi
mov    %edi,-0x3cc(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xdc(%rdi),%edi
mov    %edi,-0x3c8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xe0(%rdi),%edi
mov    %edi,-0x3c4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xe4(%rdi),%edi
mov    %edi,-0x3c0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xe8(%rdi),%edi
mov    %edi,-0x3bc(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xec(%rdi),%edi
mov    %edi,-0x3b8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xf0(%rdi),%edi
mov    %edi,-0x3b4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xf4(%rdi),%edi
mov    %edi,-0x3b0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xf8(%rdi),%edi
mov    %edi,-0x3ac(%rbp)
mov    -0x40(%rbp),%rdi
mov    0xfc(%rdi),%edi
mov    %edi,-0x3a8(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x100(%rdi),%edi
mov    %edi,-0x3a4(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x104(%rdi),%edi
mov    %edi,-0x3a0(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x108(%rdi),%edi
mov    %edi,-0x39c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x10c(%rdi),%edi
mov    %edi,-0x398(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x110(%rdi),%edi
mov    %edi,-0x394(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x114(%rdi),%edi
mov    %edi,-0x390(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x118(%rdi),%edi
mov    %edi,-0x38c(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x11c(%rdi),%edi
mov    %edi,-0x388(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x120(%rdi),%edi
mov    %edi,-0x384(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x124(%rdi),%edi
mov    %edi,-0x380(%rbp)
mov    -0x40(%rbp),%rdi
mov    0x128(%rdi),%r13d
mov    -0x40(%rbp),%rdi
mov    0x12c(%rdi),%r12d
mov    -0x40(%rbp),%rdi
mov    0x130(%rdi),%r15d
mov    -0x40(%rbp),%rdi
mov    0x134(%rdi),%r14d
mov    -0x40(%rbp),%rdi
mov    0x138(%rdi),%ebx
mov    -0x40(%rbp),%rdi
mov    0x13c(%rdi),%r11d
mov    -0x40(%rbp),%rdi
mov    0x140(%rdi),%r10d
mov    -0x40(%rbp),%rdi
mov    0x144(%rdi),%edi
mov    %edi,-0x37c(%rbp)
lea    0x15a7(%rip),%rdi
mov    %eax,(%rsp)
mov    -0x494(%rbp),%eax
mov    %eax,0x8(%rsp)
mov    -0x490(%rbp),%eax
mov    %eax,0x10(%rsp)
mov    -0x48c(%rbp),%eax
mov    %eax,0x18(%rsp)
mov    -0x488(%rbp),%eax
mov    %eax,0x20(%rsp)
mov    -0x484(%rbp),%eax
mov    %eax,0x28(%rsp)
mov    -0x480(%rbp),%eax
mov    %eax,0x30(%rsp)
mov    -0x47c(%rbp),%eax
mov    %eax,0x38(%rsp)
mov    -0x478(%rbp),%eax
mov    %eax,0x40(%rsp)
mov    -0x474(%rbp),%eax
mov    %eax,0x48(%rsp)
mov    -0x470(%rbp),%eax
mov    %eax,0x50(%rsp)
mov    -0x46c(%rbp),%eax
mov    %eax,0x58(%rsp)
mov    -0x468(%rbp),%eax
mov    %eax,0x60(%rsp)
mov    -0x464(%rbp),%eax
mov    %eax,0x68(%rsp)
mov    -0x460(%rbp),%eax
mov    %eax,0x70(%rsp)
mov    -0x45c(%rbp),%eax
mov    %eax,0x78(%rsp)
mov    -0x458(%rbp),%eax
mov    %eax,0x80(%rsp)
mov    -0x454(%rbp),%eax
mov    %eax,0x88(%rsp)
mov    -0x450(%rbp),%eax
mov    %eax,0x90(%rsp)
mov    -0x44c(%rbp),%eax
mov    %eax,0x98(%rsp)
mov    -0x448(%rbp),%eax
mov    %eax,0xa0(%rsp)
mov    -0x444(%rbp),%eax
mov    %eax,0xa8(%rsp)
mov    -0x440(%rbp),%eax
mov    %eax,0xb0(%rsp)
mov    -0x43c(%rbp),%eax
mov    %eax,0xb8(%rsp)
mov    -0x438(%rbp),%eax
mov    %eax,0xc0(%rsp)
mov    -0x434(%rbp),%eax
mov    %eax,0xc8(%rsp)
mov    -0x430(%rbp),%eax
mov    %eax,0xd0(%rsp)
mov    -0x42c(%rbp),%eax
mov    %eax,0xd8(%rsp)
mov    -0x428(%rbp),%eax
mov    %eax,0xe0(%rsp)
mov    -0x424(%rbp),%eax
mov    %eax,0xe8(%rsp)
mov    -0x420(%rbp),%eax
mov    %eax,0xf0(%rsp)
mov    -0x41c(%rbp),%eax
mov    %eax,0xf8(%rsp)
mov    -0x418(%rbp),%eax
mov    %eax,0x100(%rsp)
mov    -0x414(%rbp),%eax
mov    %eax,0x108(%rsp)
mov    -0x410(%rbp),%eax
mov    %eax,0x110(%rsp)
mov    -0x40c(%rbp),%eax
mov    %eax,0x118(%rsp)
mov    -0x408(%rbp),%eax
mov    %eax,0x120(%rsp)
mov    -0x404(%rbp),%eax
mov    %eax,0x128(%rsp)
mov    -0x400(%rbp),%eax
mov    %eax,0x130(%rsp)
mov    -0x3fc(%rbp),%eax
mov    %eax,0x138(%rsp)
mov    -0x3f8(%rbp),%eax
mov    %eax,0x140(%rsp)
mov    -0x3f4(%rbp),%eax
mov    %eax,0x148(%rsp)
mov    -0x3f0(%rbp),%eax
mov    %eax,0x150(%rsp)
mov    -0x3ec(%rbp),%eax
mov    %eax,0x158(%rsp)
mov    -0x3e8(%rbp),%eax
mov    %eax,0x160(%rsp)
mov    -0x3e4(%rbp),%eax
mov    %eax,0x168(%rsp)
mov    -0x3e0(%rbp),%eax
mov    %eax,0x170(%rsp)
mov    -0x3dc(%rbp),%eax
mov    %eax,0x178(%rsp)
mov    -0x3d8(%rbp),%eax
mov    %eax,0x180(%rsp)
mov    -0x3d4(%rbp),%eax
mov    %eax,0x188(%rsp)
mov    -0x3d0(%rbp),%eax
mov    %eax,0x190(%rsp)
mov    -0x3cc(%rbp),%eax
mov    %eax,0x198(%rsp)
mov    -0x3c8(%rbp),%eax
mov    %eax,0x1a0(%rsp)
mov    -0x3c4(%rbp),%eax
mov    %eax,0x1a8(%rsp)
mov    -0x3c0(%rbp),%eax
mov    %eax,0x1b0(%rsp)
mov    -0x3bc(%rbp),%eax
mov    %eax,0x1b8(%rsp)
mov    -0x3b8(%rbp),%eax
mov    %eax,0x1c0(%rsp)
mov    -0x3b4(%rbp),%eax
mov    %eax,0x1c8(%rsp)
mov    -0x3b0(%rbp),%eax
mov    %eax,0x1d0(%rsp)
mov    -0x3ac(%rbp),%eax
mov    %eax,0x1d8(%rsp)
mov    -0x3a8(%rbp),%eax
mov    %eax,0x1e0(%rsp)
mov    -0x3a4(%rbp),%eax
mov    %eax,0x1e8(%rsp)
mov    -0x3a0(%rbp),%eax
mov    %eax,0x1f0(%rsp)
mov    -0x39c(%rbp),%eax
mov    %eax,0x1f8(%rsp)
mov    -0x398(%rbp),%eax
mov    %eax,0x200(%rsp)
mov    -0x394(%rbp),%eax
mov    %eax,0x208(%rsp)
mov    -0x390(%rbp),%eax
mov    %eax,0x210(%rsp)
mov    -0x38c(%rbp),%eax
mov    %eax,0x218(%rsp)
mov    -0x388(%rbp),%eax
mov    %eax,0x220(%rsp)
mov    -0x384(%rbp),%eax
mov    %eax,0x228(%rsp)
mov    -0x380(%rbp),%eax
mov    %eax,0x230(%rsp)
mov    -0x37c(%rbp),%eax
mov    %r13d,0x238(%rsp)
mov    %r12d,0x240(%rsp)
mov    %r15d,0x248(%rsp)
mov    %r14d,0x250(%rsp)
mov    %ebx,0x258(%rsp)
mov    %r11d,0x260(%rsp)
mov    %r10d,0x268(%rsp)
mov    %eax,0x270(%rsp)
mov    $0x0,%al
call   1040 <trace_printk@plt>
add    $0x6e8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

x86 assembly (clang, -O2):
<ms_smi>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x248,%rsp
mov    %rdx,%rbx
mov    %esi,%ebp
mov    %rdi,%r14
mov    $0x3b9aca00,%esi
xor    %eax,%eax
call   1030 <do_div@plt>
add    $0xee,%bpl
cmp    $0x40,%bpl
ja     123b <ms_smi+0x11b>
cltq
movzbl %bpl,%ecx
lea    0x1ea0(%rip),%rdx
movslq (%rdx,%rcx,4),%rcx
add    %rdx,%rcx
jmp    *%rcx
shr    $0x3,%rax
movabs $0x20c49ba5e353f7cf,%rcx
9b c4 20
mul    %rcx
shr    $0x4,%rdx
mov    (%rbx),%ecx
mov    0x4(%rbx),%r8d
mov    0x8(%rbx),%r9d
mov    0xc(%rbx),%eax
mov    %rax,0x40(%rsp)
mov    0x10(%rbx),%eax
mov    %rax,0x38(%rsp)
mov    0x14(%rbx),%eax
mov    %rax,0x30(%rsp)
mov    0x18(%rbx),%eax
mov    %rax,0x28(%rsp)
mov    0x1c(%rbx),%eax
mov    %rax,0x20(%rsp)
mov    0x20(%rbx),%eax
mov    %rax,0x18(%rsp)
mov    0x24(%rbx),%eax
mov    %rax,0x10(%rsp)
mov    0x28(%rbx),%eax
mov    %rax,0x8(%rsp)
mov    0x2c(%rbx),%r15d
mov    0x30(%rbx),%r12d
mov    0x34(%rbx),%r13d
mov    0x38(%rbx),%ebp
mov    0x3c(%rbx),%r10d
mov    0x40(%rbx),%r11d
mov    0x44(%rbx),%ebx
sub    $0x8,%rsp
lea    0x1f17(%rip),%rdi
mov    %r14,%rsi
xor    %eax,%eax
push   %rbx
push   %r11
push   %r10
push   %rbp
push   %r13
push   %r12
push   %r15
push   0x48(%rsp)
push   0x58(%rsp)
push   0x68(%rsp)
push   0x78(%rsp)
push   0x88(%rsp)
push   0x98(%rsp)
push   0xa8(%rsp)
push   0xb8(%rsp)
call   1040 <trace_printk@plt>
add    $0x2c8,%rsp
jmp    286a <ms_smi+0x174a>
add    $0x248,%rsp
jmp    286a <ms_smi+0x174a>
shr    $0x3,%rax
movabs $0x20c49ba5e353f7cf,%rcx
9b c4 20
mul    %rcx
shr    $0x4,%rdx
mov    (%rbx),%ecx
mov    0x4(%rbx),%r8d
mov    0x8(%rbx),%r9d
mov    0xc(%rbx),%eax
mov    %rax,0x40(%rsp)
mov    0x10(%rbx),%eax
mov    %rax,0x38(%rsp)
mov    0x14(%rbx),%eax
mov    %rax,0x30(%rsp)
mov    0x18(%rbx),%eax
mov    %rax,0x28(%rsp)
mov    0x1c(%rbx),%eax
mov    %rax,0x20(%rsp)
mov    0x20(%rbx),%eax
mov    %rax,0x18(%rsp)
mov    0x24(%rbx),%eax
mov    %rax,0x10(%rsp)
mov    0x28(%rbx),%eax
mov    %rax,0x8(%rsp)
mov    0x2c(%rbx),%eax
mov    %rax,0xa0(%rsp)
mov    0x30(%rbx),%eax
mov    %rax,0x98(%rsp)
mov    0x34(%rbx),%eax
mov    %rax,0x90(%rsp)
mov    0x38(%rbx),%eax
mov    %rax,0x88(%rsp)
mov    0x3c(%rbx),%eax
mov    %rax,0x80(%rsp)
mov    0x40(%rbx),%eax
mov    %rax,0x78(%rsp)
mov    0x44(%rbx),%eax
mov    %rax,0x70(%rsp)
mov    0x48(%rbx),%eax
mov    %rax,0x68(%rsp)
mov    0x4c(%rbx),%eax
mov    %rax,0x60(%rsp)
mov    0x50(%rbx),%eax
mov    %rax,0x58(%rsp)
mov    0x54(%rbx),%eax
mov    %rax,0x50(%rsp)
mov    0x58(%rbx),%eax
mov    %rax,0x48(%rsp)
mov    0x5c(%rbx),%r15d
mov    0x60(%rbx),%r12d
mov    0x64(%rbx),%r13d
mov    0x68(%rbx),%ebp
mov    0x6c(%rbx),%r10d
mov    0x70(%rbx),%r11d
mov    0x74(%rbx),%ebx
sub    $0x8,%rsp
lea    0x1e0c(%rip),%rdi
mov    %r14,%rsi
xor    %eax,%eax
push   %rbx
push   %r11
push   %r10
push   %rbp
push   %r13
push   %r12
push   %r15
push   0x88(%rsp)
push   0x98(%rsp)
push   0xa8(%rsp)
push   0xb8(%rsp)
push   0xc8(%rsp)
push   0xd8(%rsp)
push   0xe8(%rsp)
push   0xf8(%rsp)
push   0x108(%rsp)
push   0x118(%rsp)
push   0x128(%rsp)
push   0x138(%rsp)
push   0xa8(%rsp)
push   0xb8(%rsp)
push   0xc8(%rsp)
push   0xd8(%rsp)
push   0xe8(%rsp)
push   0xf8(%rsp)
push   0x108(%rsp)
push   0x118(%rsp)
call   1040 <trace_printk@plt>
add    $0x328,%rsp
jmp    286a <ms_smi+0x174a>
shr    $0x3,%rax
movabs $0x20c49ba5e353f7cf,%rcx
9b c4 20
mul    %rcx
shr    $0x4,%rdx
mov    (%rbx),%ecx
mov    0x4(%rbx),%r8d
mov    0x8(%rbx),%r9d
mov    0xc(%rbx),%eax
mov    %rax,0x40(%rsp)
mov    0x10(%rbx),%eax
mov    %rax,0x38(%rsp)
mov    0x14(%rbx),%eax
mov    %rax,0x30(%rsp)
mov    0x18(%rbx),%eax
mov    %rax,0x28(%rsp)
mov    0x1c(%rbx),%eax
mov    %rax,0x20(%rsp)
mov    0x20(%rbx),%eax
mov    %rax,0x18(%rsp)
mov    0x24(%rbx),%eax
mov    %rax,0x10(%rsp)
mov    0x28(%rbx),%eax
mov    %rax,0x8(%rsp)
mov    0x2c(%rbx),%eax
mov    %rax,0xa0(%rsp)
mov    0x30(%rbx),%eax
mov    %rax,0x98(%rsp)
mov    0x34(%rbx),%eax
mov    %rax,0x90(%rsp)
mov    0x38(%rbx),%eax
mov    %rax,0x88(%rsp)
mov    0x3c(%rbx),%eax
mov    %rax,0x80(%rsp)
mov    0x40(%rbx),%eax
mov    %rax,0x78(%rsp)
mov    0x44(%rbx),%eax
mov    %rax,0x70(%rsp)
mov    0x48(%rbx),%eax
mov    %rax,0x68(%rsp)
mov    0x4c(%rbx),%eax
mov    %rax,0x60(%rsp)
mov    0x50(%rbx),%eax
mov    %rax,0x58(%rsp)
mov    0x54(%rbx),%eax
mov    %rax,0x50(%rsp)
mov    0x58(%rbx),%eax
mov    %rax,0x48(%rsp)
mov    0x5c(%rbx),%eax
mov    %rax,0xc0(%rsp)
mov    0x60(%rbx),%eax
mov    %rax,0xb8(%rsp)
mov    0x64(%rbx),%eax
mov    %rax,0xb0(%rsp)
mov    0x68(%rbx),%eax
mov    %rax,0xa8(%rsp)
mov    0x6c(%rbx),%r10d
mov    0x70(%rbx),%r11d
mov    0x74(%rbx),%r15d
mov    0x78(%rbx),%r12d
mov    0x7c(%rbx),%r13d
mov    0x80(%rbx),%ebp
mov    0x84(%rbx),%ebx
sub    $0x8,%rsp
lea    0x1c9f(%rip),%rdi
mov    %r14,%rsi
xor    %eax,%eax
push   %rbx
push   %rbp
push   %r13
push   %r12
push   %r15
push   %r11
push   %r10
push   0xe8(%rsp)
push   0xf8(%rsp)
push   0x108(%rsp)
push   0x118(%rsp)
push   0xa8(%rsp)
push   0xb8(%rsp)
push   0xc8(%rsp)
push   0xd8(%rsp)
push   0xe8(%rsp)
push   0xf8(%rsp)
push   0x108(%rsp)
push   0x118(%rsp)
push   0x128(%rsp)
push   0x138(%rsp)
push   0x148(%rsp)
push   0x158(%rsp)
push   0xc8(%rsp)
push   0xd8(%rsp)
push   0xe8(%rsp)
push   0xf8(%rsp)
push   0x108(%rsp)
push   0x118(%rsp)
push   0x128(%rsp)
push   0x138(%rsp)
call   1040 <trace_printk@plt>
add    $0x348,%rsp
jmp    286a <ms_smi+0x174a>
shr    $0x3,%rax
movabs $0x20c49ba5e353f7cf,%rcx
9b c4 20
mul    %rcx
shr    $0x4,%rdx
mov    (%rbx),%ecx
mov    0x4(%rbx),%r8d
mov    0x8(%rbx),%r9d
mov    0xc(%rbx),%eax
mov    %rax,0x40(%rsp)
mov    0x10(%rbx),%eax
mov    %rax,0x38(%rsp)
mov    0x14(%rbx),%eax
mov    %rax,0x30(%rsp)
mov    0x18(%rbx),%eax
mov    %rax,0x28(%rsp)
mov    0x1c(%rbx),%eax
mov    %rax,0x20(%rsp)
mov    0x20(%rbx),%eax
mov    %rax,0x18(%rsp)
mov    0x24(%rbx),%eax
mov    %rax,0x10(%rsp)
mov    0x28(%rbx),%eax
mov    %rax,0x8(%rsp)
mov    0x2c(%rbx),%eax
mov    %rax,0xa0(%rsp)
mov    0x30(%rbx),%eax
mov    %rax,0x98(%rsp)
mov    0x34(%rbx),%eax
mov    %rax,0x90(%rsp)
mov    0x38(%rbx),%eax
mov    %rax,0x88(%rsp)
mov    0x3c(%rbx),%eax
mov    %rax,0x80(%rsp)
mov    0x40(%rbx),%eax
mov    %rax,0x78(%rsp)
mov    0x44(%rbx),%eax
mov    %rax,0x70(%rsp)
mov    0x48(%rbx),%eax
mov    %rax,0x68(%rsp)
mov    0x4c(%rbx),%eax
mov    %rax,0x60(%rsp)
mov    0x50(%rbx),%eax
mov    %rax,0x58(%rsp)
mov    0x54(%rbx),%eax
mov    %rax,0x50(%rsp)
mov    0x58(%rbx),%eax
mov    %rax,0x48(%rsp)
mov    0x5c(%rbx),%eax
mov    %rax,0xc0(%rsp)
mov    0x60(%rbx),%eax
mov    %rax,0xb8(%rsp)
mov    0x64(%rbx),%eax
mov    %rax,0xb0(%rsp)
mov    0x68(%rbx),%eax
mov    %rax,0xa8(%rsp)
mov    0x6c(%rbx),%eax
mov    %rax,0xd8(%rsp)
mov    0x70(%rbx),%eax
mov    %rax,0xd0(%rsp)
mov    0x74(%rbx),%eax
mov    %rax,0xc8(%rsp)
mov    0x78(%rbx),%r12d
mov    0x7c(%rbx),%r13d
mov    0x80(%rbx),%ebp
mov    0x84(%rbx),%r10d
mov    0x88(%rbx),%r11d
mov    0x8c(%rbx),%r15d
mov    0x90(%rbx),%ebx
lea    0x1afc(%rip),%rdi
mov    %r14,%rsi
xor    %eax,%eax
push   %rbx
push   %r15
push   %r11
push   %r10
push   %rbp
push   %r13
push   %r12
push   0x100(%rsp)
push   0x110(%rsp)
push   0x120(%rsp)
push   0xf8(%rsp)
push   0x108(%rsp)
push   0x118(%rsp)
push   0x128(%rsp)
push   0xb8(%rsp)
push   0xc8(%rsp)
push   0xd8(%rsp)
push   0xe8(%rsp)
push   0xf8(%rsp)
push   0x108(%rsp)
push   0x118(%rsp)
push   0x128(%rsp)
push   0x138(%rsp)
push   0x148(%rsp)
push   0x158(%rsp)
push   0x168(%rsp)
push   0xd8(%rsp)
push   0xe8(%rsp)
push   0xf8(%rsp)
push   0x108(%rsp)
push   0x118(%rsp)
push   0x128(%rsp)
push   0x138(%rsp)
push   0x148(%rsp)
call   1040 <trace_printk@plt>
add    $0x358,%rsp
jmp    286a <ms_smi+0x174a>
shr    $0x3,%rax
movabs $0x20c49ba5e353f7cf,%rcx
9b c4 20
mul    %rcx
shr    $0x4,%rdx
mov    (%rbx),%ecx
mov    0x4(%rbx),%r8d
mov    0x8(%rbx),%r9d
mov    0xc(%rbx),%eax
mov    %rax,0x40(%rsp)
mov    0x10(%rbx),%eax
mov    %rax,0x38(%rsp)
mov    0x14(%rbx),%eax
mov    %rax,0x30(%rsp)
mov    0x18(%rbx),%eax
mov    %rax,0x28(%rsp)
mov    0x1c(%rbx),%eax
mov    %rax,0x20(%rsp)
mov    0x20(%rbx),%eax
mov    %rax,0x18(%rsp)
mov    0x24(%rbx),%eax
mov    %rax,0x10(%rsp)
mov    0x28(%rbx),%eax
mov    %rax,0x8(%rsp)
mov    0x2c(%rbx),%eax
mov    %rax,0xa0(%rsp)
mov    0x30(%rbx),%eax
mov    %rax,0x98(%rsp)
mov    0x34(%rbx),%eax
mov    %rax,0x90(%rsp)
mov    0x38(%rbx),%eax
mov    %rax,0x88(%rsp)
mov    0x3c(%rbx),%eax
mov    %rax,0x80(%rsp)
mov    0x40(%rbx),%eax
mov    %rax,0x78(%rsp)
mov    0x44(%rbx),%eax
mov    %rax,0x70(%rsp)
mov    0x48(%rbx),%eax
mov    %rax,0x68(%rsp)
mov    0x4c(%rbx),%eax
mov    %rax,0x60(%rsp)
mov    0x50(%rbx),%eax
mov    %rax,0x58(%rsp)
mov    0x54(%rbx),%eax
mov    %rax,0x50(%rsp)
mov    0x58(%rbx),%eax
mov    %rax,0x48(%rsp)
mov    0x5c(%rbx),%eax
mov    %rax,0xc0(%rsp)
mov    0x60(%rbx),%eax
mov    %rax,0xb8(%rsp)
mov    0x64(%rbx),%eax
mov    %rax,0xb0(%rsp)
mov    0x68(%rbx),%eax
mov    %rax,0xa8(%rsp)
mov    0x6c(%rbx),%eax
mov    %rax,0xd8(%rsp)
mov    0x70(%rbx),%eax
mov    %rax,0xd0(%rsp)
mov    0x74(%rbx),%eax
mov    %rax,0xc8(%rsp)
mov    0x78(%rbx),%eax
mov    %rax,0x110(%rsp)
mov    0x7c(%rbx),%eax
mov    %rax,0x108(%rsp)
mov    0x80(%rbx),%eax
mov    %rax,0x100(%rsp)
mov    0x84(%rbx),%eax
mov    %rax,0xf8(%rsp)
mov    0x88(%rbx),%eax
mov    %rax,0xf0(%rsp)
mov    0x8c(%rbx),%eax
mov    %rax,0xe8(%rsp)
mov    0x90(%rbx),%eax
mov    %rax,0xe0(%rsp)
mov    0x94(%rbx),%r13d
mov    0x98(%rbx),%ebp
mov    0x9c(%rbx),%r10d
mov    0xa0(%rbx),%r11d
mov    0xa4(%rbx),%r15d
mov    0xa8(%rbx),%r12d
mov    0xac(%rbx),%ebx
sub    $0x8,%rsp
lea    0x18e7(%rip),%rdi
mov    %r14,%rsi
xor    %eax,%eax
push   %rbx
push   %r12
push   %r15
push   %r11
push   %r10
push   %rbp
push   %r13
push   0x120(%rsp)
push   0x130(%rsp)
push   0x140(%rsp)
push   0x150(%rsp)
push   0x160(%rsp)
push   0x170(%rsp)
push   0x180(%rsp)
push   0x140(%rsp)
push   0x150(%rsp)
push   0x160(%rsp)
push   0x138(%rsp)
push   0x148(%rsp)
push   0x158(%rsp)
push   0x168(%rsp)
push   0xf8(%rsp)
push   0x108(%rsp)
push   0x118(%rsp)
push   0x128(%rsp)
push   0x138(%rsp)
push   0x148(%rsp)
push   0x158(%rsp)
push   0x168(%rsp)
push   0x178(%rsp)
push   0x188(%rsp)
push   0x198(%rsp)
push   0x1a8(%rsp)
push   0x118(%rsp)
push   0x128(%rsp)
push   0x138(%rsp)
push   0x148(%rsp)
push   0x158(%rsp)
push   0x168(%rsp)
push   0x178(%rsp)
push   0x188(%rsp)
call   1040 <trace_printk@plt>
add    $0x398,%rsp
jmp    286a <ms_smi+0x174a>
shr    $0x3,%rax
movabs $0x20c49ba5e353f7cf,%rcx
9b c4 20
mul    %rcx
shr    $0x4,%rdx
mov    (%rbx),%ecx
mov    0x4(%rbx),%r8d
mov    0x8(%rbx),%r9d
mov    0xc(%rbx),%eax
mov    %rax,0x40(%rsp)
mov    0x10(%rbx),%eax
mov    %rax,0x38(%rsp)
mov    0x14(%rbx),%eax
mov    %rax,0x30(%rsp)
mov    0x18(%rbx),%eax
mov    %rax,0x28(%rsp)
mov    0x1c(%rbx),%eax
mov    %rax,0x20(%rsp)
mov    0x20(%rbx),%eax
mov    %rax,0x18(%rsp)
mov    0x24(%rbx),%eax
mov    %rax,0x10(%rsp)
mov    0x28(%rbx),%eax
mov    %rax,0x8(%rsp)
mov    0x2c(%rbx),%eax
mov    %rax,0xa0(%rsp)
mov    0x30(%rbx),%eax
mov    %rax,0x98(%rsp)
mov    0x34(%rbx),%eax
mov    %rax,0x90(%rsp)
mov    0x38(%rbx),%eax
mov    %rax,0x88(%rsp)
mov    0x3c(%rbx),%eax
mov    %rax,0x80(%rsp)
mov    0x40(%rbx),%eax
mov    %rax,0x78(%rsp)
mov    0x44(%rbx),%eax
mov    %rax,0x70(%rsp)
mov    0x48(%rbx),%eax
mov    %rax,0x68(%rsp)
mov    0x4c(%rbx),%eax
mov    %rax,0x60(%rsp)
mov    0x50(%rbx),%eax
mov    %rax,0x58(%rsp)
mov    0x54(%rbx),%eax
mov    %rax,0x50(%rsp)
mov    0x58(%rbx),%eax
mov    %rax,0x48(%rsp)
mov    0x5c(%rbx),%eax
mov    %rax,0xc0(%rsp)
mov    0x60(%rbx),%eax
mov    %rax,0xb8(%rsp)
mov    0x64(%rbx),%eax
mov    %rax,0xb0(%rsp)
mov    0x68(%rbx),%eax
mov    %rax,0xa8(%rsp)
mov    0x6c(%rbx),%eax
mov    %rax,0xd8(%rsp)
mov    0x70(%rbx),%eax
mov    %rax,0xd0(%rsp)
mov    0x74(%rbx),%eax
mov    %rax,0xc8(%rsp)
mov    0x78(%rbx),%eax
mov    %rax,0x110(%rsp)
mov    0x7c(%rbx),%eax
mov    %rax,0x108(%rsp)
mov    0x80(%rbx),%eax
mov    %rax,0x100(%rsp)
mov    0x84(%rbx),%eax
mov    %rax,0xf8(%rsp)
mov    0x88(%rbx),%eax
mov    %rax,0xf0(%rsp)
mov    0x8c(%rbx),%eax
mov    %rax,0xe8(%rsp)
mov    0x90(%rbx),%eax
mov    %rax,0xe0(%rsp)
mov    0x94(%rbx),%eax
mov    %rax,0x140(%rsp)
mov    0x98(%rbx),%eax
mov    %rax,0x138(%rsp)
mov    0x9c(%rbx),%eax
mov    %rax,0x130(%rsp)
mov    0xa0(%rbx),%eax
mov    %rax,0x128(%rsp)
mov    0xa4(%rbx),%eax
mov    %rax,0x120(%rsp)
mov    0xa8(%rbx),%eax
mov    %rax,0x118(%rsp)
mov    0xac(%rbx),%r13d
mov    0xb0(%rbx),%ebp
mov    0xb4(%rbx),%r10d
mov    0xb8(%rbx),%r11d
mov    0xbc(%rbx),%r15d
mov    0xc0(%rbx),%r12d
mov    0xc4(%rbx),%ebx
sub    $0x8,%rsp
lea    0x1662(%rip),%rdi
mov    %r14,%rsi
xor    %eax,%eax
push   %rbx
push   %r12
push   %r15
push   %r11
push   %r10
push   %rbp
push   %r13
push   0x158(%rsp)
push   0x168(%rsp)
push   0x178(%rsp)
push   0x188(%rsp)
push   0x198(%rsp)
push   0x1a8(%rsp)
push   0x150(%rsp)
push   0x160(%rsp)
push   0x170(%rsp)
push   0x180(%rsp)
push   0x190(%rsp)
push   0x1a0(%rsp)
push   0x1b0(%rsp)
push   0x170(%rsp)
push   0x180(%rsp)
push   0x190(%rsp)
push   0x168(%rsp)
push   0x178(%rsp)
push   0x188(%rsp)
push   0x198(%rsp)
push   0x128(%rsp)
push   0x138(%rsp)
push   0x148(%rsp)
push   0x158(%rsp)
push   0x168(%rsp)
push   0x178(%rsp)
push   0x188(%rsp)
push   0x198(%rsp)
push   0x1a8(%rsp)
push   0x1b8(%rsp)
push   0x1c8(%rsp)
push   0x1d8(%rsp)
push   0x148(%rsp)
push   0x158(%rsp)
push   0x168(%rsp)
push   0x178(%rsp)
push   0x188(%rsp)
push   0x198(%rsp)
push   0x1a8(%rsp)
push   0x1b8(%rsp)
call   1040 <trace_printk@plt>
add    $0x3c8,%rsp
jmp    286a <ms_smi+0x174a>
shr    $0x3,%rax
movabs $0x20c49ba5e353f7cf,%rcx
9b c4 20
mul    %rcx
shr    $0x4,%rdx
mov    (%rbx),%ecx
mov    0x4(%rbx),%r8d
mov    0x8(%rbx),%r9d
mov    0xc(%rbx),%eax
mov    %rax,0x40(%rsp)
mov    0x10(%rbx),%eax
mov    %rax,0x38(%rsp)
mov    0x14(%rbx),%eax
mov    %rax,0x30(%rsp)
mov    0x18(%rbx),%eax
mov    %rax,0x28(%rsp)
mov    0x1c(%rbx),%eax
mov    %rax,0x20(%rsp)
mov    0x20(%rbx),%eax
mov    %rax,0x18(%rsp)
mov    0x24(%rbx),%eax
mov    %rax,0x10(%rsp)
mov    0x28(%rbx),%eax
mov    %rax,0x8(%rsp)
mov    0x2c(%rbx),%eax
mov    %rax,0xa0(%rsp)
mov    0x30(%rbx),%eax
mov    %rax,0x98(%rsp)
mov    0x34(%rbx),%eax
mov    %rax,0x90(%rsp)
mov    0x38(%rbx),%eax
mov    %rax,0x88(%rsp)
mov    0x3c(%rbx),%eax
mov    %rax,0x80(%rsp)
mov    0x40(%rbx),%eax
mov    %rax,0x78(%rsp)
mov    0x44(%rbx),%eax
mov    %rax,0x70(%rsp)
mov    0x48(%rbx),%eax
mov    %rax,0x68(%rsp)
mov    0x4c(%rbx),%eax
mov    %rax,0x60(%rsp)
mov    0x50(%rbx),%eax
mov    %rax,0x58(%rsp)
mov    0x54(%rbx),%eax
mov    %rax,0x50(%rsp)
mov    0x58(%rbx),%eax
mov    %rax,0x48(%rsp)
mov    0x5c(%rbx),%eax
mov    %rax,0xc0(%rsp)
mov    0x60(%rbx),%eax
mov    %rax,0xb8(%rsp)
mov    0x64(%rbx),%eax
mov    %rax,0xb0(%rsp)
mov    0x68(%rbx),%eax
mov    %rax,0xa8(%rsp)
mov    0x6c(%rbx),%eax
mov    %rax,0xd8(%rsp)
mov    0x70(%rbx),%eax
mov    %rax,0xd0(%rsp)
mov    0x74(%rbx),%eax
mov    %rax,0xc8(%rsp)
mov    0x78(%rbx),%eax
mov    %rax,0x110(%rsp)
mov    0x7c(%rbx),%eax
mov    %rax,0x108(%rsp)
mov    0x80(%rbx),%eax
mov    %rax,0x100(%rsp)
mov    0x84(%rbx),%eax
mov    %rax,0xf8(%rsp)
mov    0x88(%rbx),%eax
mov    %rax,0xf0(%rsp)
mov    0x8c(%rbx),%eax
mov    %rax,0xe8(%rsp)
mov    0x90(%rbx),%eax
mov    %rax,0xe0(%rsp)
mov    0x94(%rbx),%eax
mov    %rax,0x140(%rsp)
mov    0x98(%rbx),%eax
mov    %rax,0x138(%rsp)
mov    0x9c(%rbx),%eax
mov    %rax,0x130(%rsp)
mov    0xa0(%rbx),%eax
mov    %rax,0x128(%rsp)
mov    0xa4(%rbx),%eax
mov    %rax,0x120(%rsp)
mov    0xa8(%rbx),%eax
mov    %rax,0x118(%rsp)
mov    0xac(%rbx),%eax
mov    %rax,0x1c0(%rsp)
mov    0xb0(%rbx),%eax
mov    %rax,0x1b8(%rsp)
mov    0xb4(%rbx),%eax
mov    %rax,0x1b0(%rsp)
mov    0xb8(%rbx),%eax
mov    %rax,0x1a8(%rsp)
mov    0xbc(%rbx),%eax
mov    %rax,0x1a0(%rsp)
mov    0xc0(%rbx),%eax
mov    %rax,0x198(%rsp)
mov    0xc4(%rbx),%eax
mov    %rax,0x190(%rsp)
mov    0xc8(%rbx),%eax
mov    %rax,0x188(%rsp)
mov    0xcc(%rbx),%eax
mov    %rax,0x180(%rsp)
mov    0xd0(%rbx),%eax
mov    %rax,0x178(%rsp)
mov    0xd4(%rbx),%eax
mov    %rax,0x170(%rsp)
mov    0xd8(%rbx),%eax
mov    %rax,0x168(%rsp)
mov    0xdc(%rbx),%eax
mov    %rax,0x160(%rsp)
mov    0xe0(%rbx),%eax
mov    %rax,0x158(%rsp)
mov    0xe4(%rbx),%eax
mov    %rax,0x150(%rsp)
mov    0xe8(%rbx),%eax
mov    %rax,0x148(%rsp)
mov    0xec(%rbx),%r15d
mov    0xf0(%rbx),%r12d
mov    0xf4(%rbx),%r13d
mov    0xf8(%rbx),%ebp
mov    0xfc(%rbx),%r10d
mov    0x100(%rbx),%r11d
mov    0x104(%rbx),%ebx
sub    $0x8,%rsp
lea    0x12e5(%rip),%rdi
mov    %r14,%rsi
xor    %eax,%eax
push   %rbx
push   %r11
push   %r10
push   %rbp
push   %r13
push   %r12
push   %r15
push   0x188(%rsp)
push   0x198(%rsp)
push   0x1a8(%rsp)
push   0x1b8(%rsp)
push   0x1c8(%rsp)
push   0x1d8(%rsp)
push   0x1e8(%rsp)
push   0x1f8(%rsp)
push   0x208(%rsp)
push   0x218(%rsp)
push   0x228(%rsp)
push   0x238(%rsp)
push   0x248(%rsp)
push   0x258(%rsp)
push   0x268(%rsp)
push   0x278(%rsp)
push   0x1d8(%rsp)
push   0x1e8(%rsp)
push   0x1f8(%rsp)
push   0x208(%rsp)
push   0x218(%rsp)
push   0x228(%rsp)
push   0x1d0(%rsp)
push   0x1e0(%rsp)
push   0x1f0(%rsp)
push   0x200(%rsp)
push   0x210(%rsp)
push   0x220(%rsp)
push   0x230(%rsp)
push   0x1f0(%rsp)
push   0x200(%rsp)
push   0x210(%rsp)
push   0x1e8(%rsp)
push   0x1f8(%rsp)
push   0x208(%rsp)
push   0x218(%rsp)
push   0x1a8(%rsp)
push   0x1b8(%rsp)
push   0x1c8(%rsp)
push   0x1d8(%rsp)
push   0x1e8(%rsp)
push   0x1f8(%rsp)
push   0x208(%rsp)
push   0x218(%rsp)
push   0x228(%rsp)
push   0x238(%rsp)
push   0x248(%rsp)
push   0x258(%rsp)
push   0x1c8(%rsp)
push   0x1d8(%rsp)
push   0x1e8(%rsp)
push   0x1f8(%rsp)
push   0x208(%rsp)
push   0x218(%rsp)
push   0x228(%rsp)
push   0x238(%rsp)
call   1040 <trace_printk@plt>
add    $0x448,%rsp
jmp    286a <ms_smi+0x174a>
shr    $0x3,%rax
movabs $0x20c49ba5e353f7cf,%rcx
9b c4 20
mul    %rcx
shr    $0x4,%rdx
mov    (%rbx),%ecx
mov    0x4(%rbx),%r8d
mov    0x8(%rbx),%r9d
mov    0xc(%rbx),%eax
mov    %rax,0x40(%rsp)
mov    0x10(%rbx),%eax
mov    %rax,0x38(%rsp)
mov    0x14(%rbx),%eax
mov    %rax,0x30(%rsp)
mov    0x18(%rbx),%eax
mov    %rax,0x28(%rsp)
mov    0x1c(%rbx),%eax
mov    %rax,0x20(%rsp)
mov    0x20(%rbx),%eax
mov    %rax,0x18(%rsp)
mov    0x24(%rbx),%eax
mov    %rax,0x10(%rsp)
mov    0x28(%rbx),%eax
mov    %rax,0x8(%rsp)
mov    0x2c(%rbx),%eax
mov    %rax,0xa0(%rsp)
mov    0x30(%rbx),%eax
mov    %rax,0x98(%rsp)
mov    0x34(%rbx),%eax
mov    %rax,0x90(%rsp)
mov    0x38(%rbx),%eax
mov    %rax,0x88(%rsp)
mov    0x3c(%rbx),%eax
mov    %rax,0x80(%rsp)
mov    0x40(%rbx),%eax
mov    %rax,0x78(%rsp)
mov    0x44(%rbx),%eax
mov    %rax,0x70(%rsp)
mov    0x48(%rbx),%eax
mov    %rax,0x68(%rsp)
mov    0x4c(%rbx),%eax
mov    %rax,0x60(%rsp)
mov    0x50(%rbx),%eax
mov    %rax,0x58(%rsp)
mov    0x54(%rbx),%eax
mov    %rax,0x50(%rsp)
mov    0x58(%rbx),%eax
mov    %rax,0x48(%rsp)
mov    0x5c(%rbx),%eax
mov    %rax,0xc0(%rsp)
mov    0x60(%rbx),%eax
mov    %rax,0xb8(%rsp)
mov    0x64(%rbx),%eax
mov    %rax,0xb0(%rsp)
mov    0x68(%rbx),%eax
mov    %rax,0xa8(%rsp)
mov    0x6c(%rbx),%eax
mov    %rax,0xd8(%rsp)
mov    0x70(%rbx),%eax
mov    %rax,0xd0(%rsp)
mov    0x74(%rbx),%eax
mov    %rax,0xc8(%rsp)
mov    0x78(%rbx),%eax
mov    %rax,0x110(%rsp)
mov    0x7c(%rbx),%eax
mov    %rax,0x108(%rsp)
mov    0x80(%rbx),%eax
mov    %rax,0x100(%rsp)
mov    0x84(%rbx),%eax
mov    %rax,0xf8(%rsp)
mov    0x88(%rbx),%eax
mov    %rax,0xf0(%rsp)
mov    0x8c(%rbx),%eax
mov    %rax,0xe8(%rsp)
mov    0x90(%rbx),%eax
mov    %rax,0xe0(%rsp)
mov    0x94(%rbx),%eax
mov    %rax,0x140(%rsp)
mov    0x98(%rbx),%eax
mov    %rax,0x138(%rsp)
mov    0x9c(%rbx),%eax
mov    %rax,0x130(%rsp)
mov    0xa0(%rbx),%eax
mov    %rax,0x128(%rsp)
mov    0xa4(%rbx),%eax
mov    %rax,0x120(%rsp)
mov    0xa8(%rbx),%eax
mov    %rax,0x118(%rsp)
mov    0xac(%rbx),%eax
mov    %rax,0x1c0(%rsp)
mov    0xb0(%rbx),%eax
mov    %rax,0x1b8(%rsp)
mov    0xb4(%rbx),%eax
mov    %rax,0x1b0(%rsp)
mov    0xb8(%rbx),%eax
mov    %rax,0x1a8(%rsp)
mov    0xbc(%rbx),%eax
mov    %rax,0x1a0(%rsp)
mov    0xc0(%rbx),%eax
mov    %rax,0x198(%rsp)
mov    0xc4(%rbx),%eax
mov    %rax,0x190(%rsp)
mov    0xc8(%rbx),%eax
mov    %rax,0x188(%rsp)
mov    0xcc(%rbx),%eax
mov    %rax,0x180(%rsp)
mov    0xd0(%rbx),%eax
mov    %rax,0x178(%rsp)
mov    0xd4(%rbx),%eax
mov    %rax,0x170(%rsp)
mov    0xd8(%rbx),%eax
mov    %rax,0x168(%rsp)
mov    0xdc(%rbx),%eax
mov    %rax,0x160(%rsp)
mov    0xe0(%rbx),%eax
mov    %rax,0x158(%rsp)
mov    0xe4(%rbx),%eax
mov    %rax,0x150(%rsp)
mov    0xe8(%rbx),%eax
mov    %rax,0x148(%rsp)
mov    0xec(%rbx),%eax
mov    %rax,0x240(%rsp)
mov    0xf0(%rbx),%eax
mov    %rax,0x238(%rsp)
mov    0xf4(%rbx),%eax
mov    %rax,0x230(%rsp)
mov    0xf8(%rbx),%eax
mov    %rax,0x228(%rsp)
mov    0xfc(%rbx),%eax
mov    %rax,0x220(%rsp)
mov    0x100(%rbx),%eax
mov    %rax,0x218(%rsp)
mov    0x104(%rbx),%eax
mov    %rax,0x210(%rsp)
mov    0x108(%rbx),%eax
mov    %rax,0x208(%rsp)
mov    0x10c(%rbx),%eax
mov    %rax,0x200(%rsp)
mov    0x110(%rbx),%eax
mov    %rax,0x1f8(%rsp)
mov    0x114(%rbx),%eax
mov    %rax,0x1f0(%rsp)
mov    0x118(%rbx),%eax
mov    %rax,0x1e8(%rsp)
mov    0x11c(%rbx),%eax
mov    %rax,0x1e0(%rsp)
mov    0x120(%rbx),%eax
mov    %rax,0x1d8(%rsp)
mov    0x124(%rbx),%eax
mov    %rax,0x1d0(%rsp)
mov    0x128(%rbx),%eax
mov    %rax,0x1c8(%rsp)
mov    0x12c(%rbx),%r10d
mov    0x130(%rbx),%r11d
mov    0x134(%rbx),%r15d
mov    0x138(%rbx),%r12d
mov    0x13c(%rbx),%r13d
mov    0x140(%rbx),%ebp
mov    0x144(%rbx),%ebx
sub    $0x8,%rsp
lea    0xe48(%rip),%rdi
mov    %r14,%rsi
xor    %eax,%eax
push   %rbx
push   %rbp
push   %r13
push   %r12
push   %r15
push   %r11
push   %r10
push   0x208(%rsp)
push   0x218(%rsp)
push   0x228(%rsp)
push   0x238(%rsp)
push   0x248(%rsp)
push   0x258(%rsp)
push   0x268(%rsp)
push   0x278(%rsp)
push   0x288(%rsp)
push   0x298(%rsp)
push   0x2a8(%rsp)
push   0x2b8(%rsp)
push   0x2c8(%rsp)
push   0x2d8(%rsp)
push   0x2e8(%rsp)
push   0x2f8(%rsp)
push   0x208(%rsp)
push   0x218(%rsp)
push   0x228(%rsp)
push   0x238(%rsp)
push   0x248(%rsp)
push   0x258(%rsp)
push   0x268(%rsp)
push   0x278(%rsp)
push   0x288(%rsp)
push   0x298(%rsp)
push   0x2a8(%rsp)
push   0x2b8(%rsp)
push   0x2c8(%rsp)
push   0x2d8(%rsp)
push   0x2e8(%rsp)
push   0x2f8(%rsp)
push   0x258(%rsp)
push   0x268(%rsp)
push   0x278(%rsp)
push   0x288(%rsp)
push   0x298(%rsp)
push   0x2a8(%rsp)
push   0x250(%rsp)
push   0x260(%rsp)
push   0x270(%rsp)
push   0x280(%rsp)
push   0x290(%rsp)
push   0x2a0(%rsp)
push   0x2b0(%rsp)
push   0x270(%rsp)
push   0x280(%rsp)
push   0x290(%rsp)
push   0x268(%rsp)
push   0x278(%rsp)
push   0x288(%rsp)
push   0x298(%rsp)
push   0x228(%rsp)
push   0x238(%rsp)
push   0x248(%rsp)
push   0x258(%rsp)
push   0x268(%rsp)
push   0x278(%rsp)
push   0x288(%rsp)
push   0x298(%rsp)
push   0x2a8(%rsp)
push   0x2b8(%rsp)
push   0x2c8(%rsp)
push   0x2d8(%rsp)
push   0x248(%rsp)
push   0x258(%rsp)
push   0x268(%rsp)
push   0x278(%rsp)
push   0x288(%rsp)
push   0x298(%rsp)
push   0x2a8(%rsp)
push   0x2b8(%rsp)
call   1040 <trace_printk@plt>
add    $0x4c8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [66 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
@.str.1 = [102 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
@.str.2 = [114 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
@.str.3 = [123 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
@.str.4 = [144 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
@.str.5 = [162 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
@.str.6 = [210 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
@.str.7 = [258 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
define void @ms_smi(i64 %0, i8 zeroext %1, i32* %2) {
%4 = alloca i64
%5 = alloca i8
%6 = alloca i32*
%7 = alloca i64
store i64 %0, i64* %4
store i8 %1, i8* %5
store i32* %2, i32** %6
%8 = load i64, i64* %4
%9 = call i32 (i64, i32, ...) bitcast (i32 (...)* @do_div to i32 (i64, i32, ...)*)(i64 %8, i32 1000000000)
%10 = sext i32 %9 to i64
store i64 %10, i64* %7
%11 = load i8, i8* %5
%12 = zext i8 %11 to i32
switch i32 %12, label %1136 [
i32 18, label %13
i32 30, label %72
i32 34, label %167
i32 37, label %274
i32 44, label %390
i32 50, label %527
i32 66, label %682
i32 82, label %885
]
13: ; preds = %3
%14 = load i64, i64* %4
%15 = load i64, i64* %7
%16 = udiv i64 %15, 1000
%17 = load i32*, i32** %6
%18 = getelementptr inbounds i32, i32* %17, i64 0
%19 = load i32, i32* %18
%20 = load i32*, i32** %6
%21 = getelementptr inbounds i32, i32* %20, i64 1
%22 = load i32, i32* %21
%23 = load i32*, i32** %6
%24 = getelementptr inbounds i32, i32* %23, i64 2
%25 = load i32, i32* %24
%26 = load i32*, i32** %6
%27 = getelementptr inbounds i32, i32* %26, i64 3
%28 = load i32, i32* %27
%29 = load i32*, i32** %6
%30 = getelementptr inbounds i32, i32* %29, i64 4
%31 = load i32, i32* %30
%32 = load i32*, i32** %6
%33 = getelementptr inbounds i32, i32* %32, i64 5
%34 = load i32, i32* %33
%35 = load i32*, i32** %6
%36 = getelementptr inbounds i32, i32* %35, i64 6
%37 = load i32, i32* %36
%38 = load i32*, i32** %6
%39 = getelementptr inbounds i32, i32* %38, i64 7
%40 = load i32, i32* %39
%41 = load i32*, i32** %6
%42 = getelementptr inbounds i32, i32* %41, i64 8
%43 = load i32, i32* %42
%44 = load i32*, i32** %6
%45 = getelementptr inbounds i32, i32* %44, i64 9
%46 = load i32, i32* %45
%47 = load i32*, i32** %6
%48 = getelementptr inbounds i32, i32* %47, i64 10
%49 = load i32, i32* %48
%50 = load i32*, i32** %6
%51 = getelementptr inbounds i32, i32* %50, i64 11
%52 = load i32, i32* %51
%53 = load i32*, i32** %6
%54 = getelementptr inbounds i32, i32* %53, i64 12
%55 = load i32, i32* %54
%56 = load i32*, i32** %6
%57 = getelementptr inbounds i32, i32* %56, i64 13
%58 = load i32, i32* %57
%59 = load i32*, i32** %6
%60 = getelementptr inbounds i32, i32* %59, i64 14
%61 = load i32, i32* %60
%62 = load i32*, i32** %6
%63 = getelementptr inbounds i32, i32* %62, i64 15
%64 = load i32, i32* %63
%65 = load i32*, i32** %6
%66 = getelementptr inbounds i32, i32* %65, i64 16
%67 = load i32, i32* %66
%68 = load i32*, i32** %6
%69 = getelementptr inbounds i32, i32* %68, i64 17
%70 = load i32, i32* %69
%71 = call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([66 x i8], [66 x i8]* @.str, i64 0, i64 0), i64 %14, i64 %16, i32 %19, i32 %22, i32 %25, i32 %28, i32 %31, i32 %34, i32 %37, i32 %40, i32 %43, i32 %46, i32 %49, i32 %52, i32 %55, i32 %58, i32 %61, i32 %64, i32 %67, i32 %70)
br label %1136
72: ; preds = %3
%73 = load i64, i64* %4
%74 = load i64, i64* %7
%75 = udiv i64 %74, 1000
%76 = load i32*, i32** %6
%77 = getelementptr inbounds i32, i32* %76, i64 0
%78 = load i32, i32* %77
%79 = load i32*, i32** %6
%80 = getelementptr inbounds i32, i32* %79, i64 1
%81 = load i32, i32* %80
%82 = load i32*, i32** %6
%83 = getelementptr inbounds i32, i32* %82, i64 2
%84 = load i32, i32* %83
%85 = load i32*, i32** %6
%86 = getelementptr inbounds i32, i32* %85, i64 3
%87 = load i32, i32* %86
%88 = load i32*, i32** %6
%89 = getelementptr inbounds i32, i32* %88, i64 4
%90 = load i32, i32* %89
%91 = load i32*, i32** %6
%92 = getelementptr inbounds i32, i32* %91, i64 5
%93 = load i32, i32* %92
%94 = load i32*, i32** %6
%95 = getelementptr inbounds i32, i32* %94, i64 6
%96 = load i32, i32* %95
%97 = load i32*, i32** %6
%98 = getelementptr inbounds i32, i32* %97, i64 7
%99 = load i32, i32* %98
%100 = load i32*, i32** %6
%101 = getelementptr inbounds i32, i32* %100, i64 8
%102 = load i32, i32* %101
%103 = load i32*, i32** %6
%104 = getelementptr inbounds i32, i32* %103, i64 9
%105 = load i32, i32* %104
%106 = load i32*, i32** %6
%107 = getelementptr inbounds i32, i32* %106, i64 10
%108 = load i32, i32* %107
%109 = load i32*, i32** %6
%110 = getelementptr inbounds i32, i32* %109, i64 11
%111 = load i32, i32* %110
%112 = load i32*, i32** %6
%113 = getelementptr inbounds i32, i32* %112, i64 12
%114 = load i32, i32* %113
%115 = load i32*, i32** %6
%116 = getelementptr inbounds i32, i32* %115, i64 13
%117 = load i32, i32* %116
%118 = load i32*, i32** %6
%119 = getelementptr inbounds i32, i32* %118, i64 14
%120 = load i32, i32* %119
%121 = load i32*, i32** %6
%122 = getelementptr inbounds i32, i32* %121, i64 15
%123 = load i32, i32* %122
%124 = load i32*, i32** %6
%125 = getelementptr inbounds i32, i32* %124, i64 16
%126 = load i32, i32* %125
%127 = load i32*, i32** %6
%128 = getelementptr inbounds i32, i32* %127, i64 17
%129 = load i32, i32* %128
%130 = load i32*, i32** %6
%131 = getelementptr inbounds i32, i32* %130, i64 18
%132 = load i32, i32* %131
%133 = load i32*, i32** %6
%134 = getelementptr inbounds i32, i32* %133, i64 19
%135 = load i32, i32* %134
%136 = load i32*, i32** %6
%137 = getelementptr inbounds i32, i32* %136, i64 20
%138 = load i32, i32* %137
%139 = load i32*, i32** %6
%140 = getelementptr inbounds i32, i32* %139, i64 21
%141 = load i32, i32* %140
%142 = load i32*, i32** %6
%143 = getelementptr inbounds i32, i32* %142, i64 22
%144 = load i32, i32* %143
%145 = load i32*, i32** %6
%146 = getelementptr inbounds i32, i32* %145, i64 23
%147 = load i32, i32* %146
%148 = load i32*, i32** %6
%149 = getelementptr inbounds i32, i32* %148, i64 24
%150 = load i32, i32* %149
%151 = load i32*, i32** %6
%152 = getelementptr inbounds i32, i32* %151, i64 25
%153 = load i32, i32* %152
%154 = load i32*, i32** %6
%155 = getelementptr inbounds i32, i32* %154, i64 26
%156 = load i32, i32* %155
%157 = load i32*, i32** %6
%158 = getelementptr inbounds i32, i32* %157, i64 27
%159 = load i32, i32* %158
%160 = load i32*, i32** %6
%161 = getelementptr inbounds i32, i32* %160, i64 28
%162 = load i32, i32* %161
%163 = load i32*, i32** %6
%164 = getelementptr inbounds i32, i32* %163, i64 29
%165 = load i32, i32* %164
%166 = call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([102 x i8], [102 x i8]* @.str.1, i64 0, i64 0), i64 %73, i64 %75, i32 %78, i32 %81, i32 %84, i32 %87, i32 %90, i32 %93, i32 %96, i32 %99, i32 %102, i32 %105, i32 %108, i32 %111, i32 %114, i32 %117, i32 %120, i32 %123, i32 %126, i32 %129, i32 %132, i32 %135, i32 %138, i32 %141, i32 %144, i32 %147, i32 %150, i32 %153, i32 %156, i32 %159, i32 %162, i32 %165)
br label %1136
167: ; preds = %3
%168 = load i64, i64* %4
%169 = load i64, i64* %7
%170 = udiv i64 %169, 1000
%171 = load i32*, i32** %6
%172 = getelementptr inbounds i32, i32* %171, i64 0
%173 = load i32, i32* %172
%174 = load i32*, i32** %6
%175 = getelementptr inbounds i32, i32* %174, i64 1
%176 = load i32, i32* %175
%177 = load i32*, i32** %6
%178 = getelementptr inbounds i32, i32* %177, i64 2
%179 = load i32, i32* %178
%180 = load i32*, i32** %6
%181 = getelementptr inbounds i32, i32* %180, i64 3
%182 = load i32, i32* %181
%183 = load i32*, i32** %6
%184 = getelementptr inbounds i32, i32* %183, i64 4
%185 = load i32, i32* %184
%186 = load i32*, i32** %6
%187 = getelementptr inbounds i32, i32* %186, i64 5
%188 = load i32, i32* %187
%189 = load i32*, i32** %6
%190 = getelementptr inbounds i32, i32* %189, i64 6
%191 = load i32, i32* %190
%192 = load i32*, i32** %6
%193 = getelementptr inbounds i32, i32* %192, i64 7
%194 = load i32, i32* %193
%195 = load i32*, i32** %6
%196 = getelementptr inbounds i32, i32* %195, i64 8
%197 = load i32, i32* %196
%198 = load i32*, i32** %6
%199 = getelementptr inbounds i32, i32* %198, i64 9
%200 = load i32, i32* %199
%201 = load i32*, i32** %6
%202 = getelementptr inbounds i32, i32* %201, i64 10
%203 = load i32, i32* %202
%204 = load i32*, i32** %6
%205 = getelementptr inbounds i32, i32* %204, i64 11
%206 = load i32, i32* %205
%207 = load i32*, i32** %6
%208 = getelementptr inbounds i32, i32* %207, i64 12
%209 = load i32, i32* %208
%210 = load i32*, i32** %6
%211 = getelementptr inbounds i32, i32* %210, i64 13
%212 = load i32, i32* %211
%213 = load i32*, i32** %6
%214 = getelementptr inbounds i32, i32* %213, i64 14
%215 = load i32, i32* %214
%216 = load i32*, i32** %6
%217 = getelementptr inbounds i32, i32* %216, i64 15
%218 = load i32, i32* %217
%219 = load i32*, i32** %6
%220 = getelementptr inbounds i32, i32* %219, i64 16
%221 = load i32, i32* %220
%222 = load i32*, i32** %6
%223 = getelementptr inbounds i32, i32* %222, i64 17
%224 = load i32, i32* %223
%225 = load i32*, i32** %6
%226 = getelementptr inbounds i32, i32* %225, i64 18
%227 = load i32, i32* %226
%228 = load i32*, i32** %6
%229 = getelementptr inbounds i32, i32* %228, i64 19
%230 = load i32, i32* %229
%231 = load i32*, i32** %6
%232 = getelementptr inbounds i32, i32* %231, i64 20
%233 = load i32, i32* %232
%234 = load i32*, i32** %6
%235 = getelementptr inbounds i32, i32* %234, i64 21
%236 = load i32, i32* %235
%237 = load i32*, i32** %6
%238 = getelementptr inbounds i32, i32* %237, i64 22
%239 = load i32, i32* %238
%240 = load i32*, i32** %6
%241 = getelementptr inbounds i32, i32* %240, i64 23
%242 = load i32, i32* %241
%243 = load i32*, i32** %6
%244 = getelementptr inbounds i32, i32* %243, i64 24
%245 = load i32, i32* %244
%246 = load i32*, i32** %6
%247 = getelementptr inbounds i32, i32* %246, i64 25
%248 = load i32, i32* %247
%249 = load i32*, i32** %6
%250 = getelementptr inbounds i32, i32* %249, i64 26
%251 = load i32, i32* %250
%252 = load i32*, i32** %6
%253 = getelementptr inbounds i32, i32* %252, i64 27
%254 = load i32, i32* %253
%255 = load i32*, i32** %6
%256 = getelementptr inbounds i32, i32* %255, i64 28
%257 = load i32, i32* %256
%258 = load i32*, i32** %6
%259 = getelementptr inbounds i32, i32* %258, i64 29
%260 = load i32, i32* %259
%261 = load i32*, i32** %6
%262 = getelementptr inbounds i32, i32* %261, i64 30
%263 = load i32, i32* %262
%264 = load i32*, i32** %6
%265 = getelementptr inbounds i32, i32* %264, i64 31
%266 = load i32, i32* %265
%267 = load i32*, i32** %6
%268 = getelementptr inbounds i32, i32* %267, i64 32
%269 = load i32, i32* %268
%270 = load i32*, i32** %6
%271 = getelementptr inbounds i32, i32* %270, i64 33
%272 = load i32, i32* %271
%273 = call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([114 x i8], [114 x i8]* @.str.2, i64 0, i64 0), i64 %168, i64 %170, i32 %173, i32 %176, i32 %179, i32 %182, i32 %185, i32 %188, i32 %191, i32 %194, i32 %197, i32 %200, i32 %203, i32 %206, i32 %209, i32 %212, i32 %215, i32 %218, i32 %221, i32 %224, i32 %227, i32 %230, i32 %233, i32 %236, i32 %239, i32 %242, i32 %245, i32 %248, i32 %251, i32 %254, i32 %257, i32 %260, i32 %263, i32 %266, i32 %269, i32 %272)
br label %1136
274: ; preds = %3
%275 = load i64, i64* %4
%276 = load i64, i64* %7
%277 = udiv i64 %276, 1000
%278 = load i32*, i32** %6
%279 = getelementptr inbounds i32, i32* %278, i64 0
%280 = load i32, i32* %279
%281 = load i32*, i32** %6
%282 = getelementptr inbounds i32, i32* %281, i64 1
%283 = load i32, i32* %282
%284 = load i32*, i32** %6
%285 = getelementptr inbounds i32, i32* %284, i64 2
%286 = load i32, i32* %285
%287 = load i32*, i32** %6
%288 = getelementptr inbounds i32, i32* %287, i64 3
%289 = load i32, i32* %288
%290 = load i32*, i32** %6
%291 = getelementptr inbounds i32, i32* %290, i64 4
%292 = load i32, i32* %291
%293 = load i32*, i32** %6
%294 = getelementptr inbounds i32, i32* %293, i64 5
%295 = load i32, i32* %294
%296 = load i32*, i32** %6
%297 = getelementptr inbounds i32, i32* %296, i64 6
%298 = load i32, i32* %297
%299 = load i32*, i32** %6
%300 = getelementptr inbounds i32, i32* %299, i64 7
%301 = load i32, i32* %300
%302 = load i32*, i32** %6
%303 = getelementptr inbounds i32, i32* %302, i64 8
%304 = load i32, i32* %303
%305 = load i32*, i32** %6
%306 = getelementptr inbounds i32, i32* %305, i64 9
%307 = load i32, i32* %306
%308 = load i32*, i32** %6
%309 = getelementptr inbounds i32, i32* %308, i64 10
%310 = load i32, i32* %309
%311 = load i32*, i32** %6
%312 = getelementptr inbounds i32, i32* %311, i64 11
%313 = load i32, i32* %312
%314 = load i32*, i32** %6
%315 = getelementptr inbounds i32, i32* %314, i64 12
%316 = load i32, i32* %315
%317 = load i32*, i32** %6
%318 = getelementptr inbounds i32, i32* %317, i64 13
%319 = load i32, i32* %318
%320 = load i32*, i32** %6
%321 = getelementptr inbounds i32, i32* %320, i64 14
%322 = load i32, i32* %321
%323 = load i32*, i32** %6
%324 = getelementptr inbounds i32, i32* %323, i64 15
%325 = load i32, i32* %324
%326 = load i32*, i32** %6
%327 = getelementptr inbounds i32, i32* %326, i64 16
%328 = load i32, i32* %327
%329 = load i32*, i32** %6
%330 = getelementptr inbounds i32, i32* %329, i64 17
%331 = load i32, i32* %330
%332 = load i32*, i32** %6
%333 = getelementptr inbounds i32, i32* %332, i64 18
%334 = load i32, i32* %333
%335 = load i32*, i32** %6
%336 = getelementptr inbounds i32, i32* %335, i64 19
%337 = load i32, i32* %336
%338 = load i32*, i32** %6
%339 = getelementptr inbounds i32, i32* %338, i64 20
%340 = load i32, i32* %339
%341 = load i32*, i32** %6
%342 = getelementptr inbounds i32, i32* %341, i64 21
%343 = load i32, i32* %342
%344 = load i32*, i32** %6
%345 = getelementptr inbounds i32, i32* %344, i64 22
%346 = load i32, i32* %345
%347 = load i32*, i32** %6
%348 = getelementptr inbounds i32, i32* %347, i64 23
%349 = load i32, i32* %348
%350 = load i32*, i32** %6
%351 = getelementptr inbounds i32, i32* %350, i64 24
%352 = load i32, i32* %351
%353 = load i32*, i32** %6
%354 = getelementptr inbounds i32, i32* %353, i64 25
%355 = load i32, i32* %354
%356 = load i32*, i32** %6
%357 = getelementptr inbounds i32, i32* %356, i64 26
%358 = load i32, i32* %357
%359 = load i32*, i32** %6
%360 = getelementptr inbounds i32, i32* %359, i64 27
%361 = load i32, i32* %360
%362 = load i32*, i32** %6
%363 = getelementptr inbounds i32, i32* %362, i64 28
%364 = load i32, i32* %363
%365 = load i32*, i32** %6
%366 = getelementptr inbounds i32, i32* %365, i64 29
%367 = load i32, i32* %366
%368 = load i32*, i32** %6
%369 = getelementptr inbounds i32, i32* %368, i64 30
%370 = load i32, i32* %369
%371 = load i32*, i32** %6
%372 = getelementptr inbounds i32, i32* %371, i64 31
%373 = load i32, i32* %372
%374 = load i32*, i32** %6
%375 = getelementptr inbounds i32, i32* %374, i64 32
%376 = load i32, i32* %375
%377 = load i32*, i32** %6
%378 = getelementptr inbounds i32, i32* %377, i64 33
%379 = load i32, i32* %378
%380 = load i32*, i32** %6
%381 = getelementptr inbounds i32, i32* %380, i64 34
%382 = load i32, i32* %381
%383 = load i32*, i32** %6
%384 = getelementptr inbounds i32, i32* %383, i64 35
%385 = load i32, i32* %384
%386 = load i32*, i32** %6
%387 = getelementptr inbounds i32, i32* %386, i64 36
%388 = load i32, i32* %387
%389 = call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([123 x i8], [123 x i8]* @.str.3, i64 0, i64 0), i64 %275, i64 %277, i32 %280, i32 %283, i32 %286, i32 %289, i32 %292, i32 %295, i32 %298, i32 %301, i32 %304, i32 %307, i32 %310, i32 %313, i32 %316, i32 %319, i32 %322, i32 %325, i32 %328, i32 %331, i32 %334, i32 %337, i32 %340, i32 %343, i32 %346, i32 %349, i32 %352, i32 %355, i32 %358, i32 %361, i32 %364, i32 %367, i32 %370, i32 %373, i32 %376, i32 %379, i32 %382, i32 %385, i32 %388)
br label %1136
390: ; preds = %3
%391 = load i64, i64* %4
%392 = load i64, i64* %7
%393 = udiv i64 %392, 1000
%394 = load i32*, i32** %6
%395 = getelementptr inbounds i32, i32* %394, i64 0
%396 = load i32, i32* %395
%397 = load i32*, i32** %6
%398 = getelementptr inbounds i32, i32* %397, i64 1
%399 = load i32, i32* %398
%400 = load i32*, i32** %6
%401 = getelementptr inbounds i32, i32* %400, i64 2
%402 = load i32, i32* %401
%403 = load i32*, i32** %6
%404 = getelementptr inbounds i32, i32* %403, i64 3
%405 = load i32, i32* %404
%406 = load i32*, i32** %6
%407 = getelementptr inbounds i32, i32* %406, i64 4
%408 = load i32, i32* %407
%409 = load i32*, i32** %6
%410 = getelementptr inbounds i32, i32* %409, i64 5
%411 = load i32, i32* %410
%412 = load i32*, i32** %6
%413 = getelementptr inbounds i32, i32* %412, i64 6
%414 = load i32, i32* %413
%415 = load i32*, i32** %6
%416 = getelementptr inbounds i32, i32* %415, i64 7
%417 = load i32, i32* %416
%418 = load i32*, i32** %6
%419 = getelementptr inbounds i32, i32* %418, i64 8
%420 = load i32, i32* %419
%421 = load i32*, i32** %6
%422 = getelementptr inbounds i32, i32* %421, i64 9
%423 = load i32, i32* %422
%424 = load i32*, i32** %6
%425 = getelementptr inbounds i32, i32* %424, i64 10
%426 = load i32, i32* %425
%427 = load i32*, i32** %6
%428 = getelementptr inbounds i32, i32* %427, i64 11
%429 = load i32, i32* %428
%430 = load i32*, i32** %6
%431 = getelementptr inbounds i32, i32* %430, i64 12
%432 = load i32, i32* %431
%433 = load i32*, i32** %6
%434 = getelementptr inbounds i32, i32* %433, i64 13
%435 = load i32, i32* %434
%436 = load i32*, i32** %6
%437 = getelementptr inbounds i32, i32* %436, i64 14
%438 = load i32, i32* %437
%439 = load i32*, i32** %6
%440 = getelementptr inbounds i32, i32* %439, i64 15
%441 = load i32, i32* %440
%442 = load i32*, i32** %6
%443 = getelementptr inbounds i32, i32* %442, i64 16
%444 = load i32, i32* %443
%445 = load i32*, i32** %6
%446 = getelementptr inbounds i32, i32* %445, i64 17
%447 = load i32, i32* %446
%448 = load i32*, i32** %6
%449 = getelementptr inbounds i32, i32* %448, i64 18
%450 = load i32, i32* %449
%451 = load i32*, i32** %6
%452 = getelementptr inbounds i32, i32* %451, i64 19
%453 = load i32, i32* %452
%454 = load i32*, i32** %6
%455 = getelementptr inbounds i32, i32* %454, i64 20
%456 = load i32, i32* %455
%457 = load i32*, i32** %6
%458 = getelementptr inbounds i32, i32* %457, i64 21
%459 = load i32, i32* %458
%460 = load i32*, i32** %6
%461 = getelementptr inbounds i32, i32* %460, i64 22
%462 = load i32, i32* %461
%463 = load i32*, i32** %6
%464 = getelementptr inbounds i32, i32* %463, i64 23
%465 = load i32, i32* %464
%466 = load i32*, i32** %6
%467 = getelementptr inbounds i32, i32* %466, i64 24
%468 = load i32, i32* %467
%469 = load i32*, i32** %6
%470 = getelementptr inbounds i32, i32* %469, i64 25
%471 = load i32, i32* %470
%472 = load i32*, i32** %6
%473 = getelementptr inbounds i32, i32* %472, i64 26
%474 = load i32, i32* %473
%475 = load i32*, i32** %6
%476 = getelementptr inbounds i32, i32* %475, i64 27
%477 = load i32, i32* %476
%478 = load i32*, i32** %6
%479 = getelementptr inbounds i32, i32* %478, i64 28
%480 = load i32, i32* %479
%481 = load i32*, i32** %6
%482 = getelementptr inbounds i32, i32* %481, i64 29
%483 = load i32, i32* %482
%484 = load i32*, i32** %6
%485 = getelementptr inbounds i32, i32* %484, i64 30
%486 = load i32, i32* %485
%487 = load i32*, i32** %6
%488 = getelementptr inbounds i32, i32* %487, i64 31
%489 = load i32, i32* %488
%490 = load i32*, i32** %6
%491 = getelementptr inbounds i32, i32* %490, i64 32
%492 = load i32, i32* %491
%493 = load i32*, i32** %6
%494 = getelementptr inbounds i32, i32* %493, i64 33
%495 = load i32, i32* %494
%496 = load i32*, i32** %6
%497 = getelementptr inbounds i32, i32* %496, i64 34
%498 = load i32, i32* %497
%499 = load i32*, i32** %6
%500 = getelementptr inbounds i32, i32* %499, i64 35
%501 = load i32, i32* %500
%502 = load i32*, i32** %6
%503 = getelementptr inbounds i32, i32* %502, i64 36
%504 = load i32, i32* %503
%505 = load i32*, i32** %6
%506 = getelementptr inbounds i32, i32* %505, i64 37
%507 = load i32, i32* %506
%508 = load i32*, i32** %6
%509 = getelementptr inbounds i32, i32* %508, i64 38
%510 = load i32, i32* %509
%511 = load i32*, i32** %6
%512 = getelementptr inbounds i32, i32* %511, i64 39
%513 = load i32, i32* %512
%514 = load i32*, i32** %6
%515 = getelementptr inbounds i32, i32* %514, i64 40
%516 = load i32, i32* %515
%517 = load i32*, i32** %6
%518 = getelementptr inbounds i32, i32* %517, i64 41
%519 = load i32, i32* %518
%520 = load i32*, i32** %6
%521 = getelementptr inbounds i32, i32* %520, i64 42
%522 = load i32, i32* %521
%523 = load i32*, i32** %6
%524 = getelementptr inbounds i32, i32* %523, i64 43
%525 = load i32, i32* %524
%526 = call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([144 x i8], [144 x i8]* @.str.4, i64 0, i64 0), i64 %391, i64 %393, i32 %396, i32 %399, i32 %402, i32 %405, i32 %408, i32 %411, i32 %414, i32 %417, i32 %420, i32 %423, i32 %426, i32 %429, i32 %432, i32 %435, i32 %438, i32 %441, i32 %444, i32 %447, i32 %450, i32 %453, i32 %456, i32 %459, i32 %462, i32 %465, i32 %468, i32 %471, i32 %474, i32 %477, i32 %480, i32 %483, i32 %486, i32 %489, i32 %492, i32 %495, i32 %498, i32 %501, i32 %504, i32 %507, i32 %510, i32 %513, i32 %516, i32 %519, i32 %522, i32 %525)
br label %1136
527: ; preds = %3
%528 = load i64, i64* %4
%529 = load i64, i64* %7
%530 = udiv i64 %529, 1000
%531 = load i32*, i32** %6
%532 = getelementptr inbounds i32, i32* %531, i64 0
%533 = load i32, i32* %532
%534 = load i32*, i32** %6
%535 = getelementptr inbounds i32, i32* %534, i64 1
%536 = load i32, i32* %535
%537 = load i32*, i32** %6
%538 = getelementptr inbounds i32, i32* %537, i64 2
%539 = load i32, i32* %538
%540 = load i32*, i32** %6
%541 = getelementptr inbounds i32, i32* %540, i64 3
%542 = load i32, i32* %541
%543 = load i32*, i32** %6
%544 = getelementptr inbounds i32, i32* %543, i64 4
%545 = load i32, i32* %544
%546 = load i32*, i32** %6
%547 = getelementptr inbounds i32, i32* %546, i64 5
%548 = load i32, i32* %547
%549 = load i32*, i32** %6
%550 = getelementptr inbounds i32, i32* %549, i64 6
%551 = load i32, i32* %550
%552 = load i32*, i32** %6
%553 = getelementptr inbounds i32, i32* %552, i64 7
%554 = load i32, i32* %553
%555 = load i32*, i32** %6
%556 = getelementptr inbounds i32, i32* %555, i64 8
%557 = load i32, i32* %556
%558 = load i32*, i32** %6
%559 = getelementptr inbounds i32, i32* %558, i64 9
%560 = load i32, i32* %559
%561 = load i32*, i32** %6
%562 = getelementptr inbounds i32, i32* %561, i64 10
%563 = load i32, i32* %562
%564 = load i32*, i32** %6
%565 = getelementptr inbounds i32, i32* %564, i64 11
%566 = load i32, i32* %565
%567 = load i32*, i32** %6
%568 = getelementptr inbounds i32, i32* %567, i64 12
%569 = load i32, i32* %568
%570 = load i32*, i32** %6
%571 = getelementptr inbounds i32, i32* %570, i64 13
%572 = load i32, i32* %571
%573 = load i32*, i32** %6
%574 = getelementptr inbounds i32, i32* %573, i64 14
%575 = load i32, i32* %574
%576 = load i32*, i32** %6
%577 = getelementptr inbounds i32, i32* %576, i64 15
%578 = load i32, i32* %577
%579 = load i32*, i32** %6
%580 = getelementptr inbounds i32, i32* %579, i64 16
%581 = load i32, i32* %580
%582 = load i32*, i32** %6
%583 = getelementptr inbounds i32, i32* %582, i64 17
%584 = load i32, i32* %583
%585 = load i32*, i32** %6
%586 = getelementptr inbounds i32, i32* %585, i64 18
%587 = load i32, i32* %586
%588 = load i32*, i32** %6
%589 = getelementptr inbounds i32, i32* %588, i64 19
%590 = load i32, i32* %589
%591 = load i32*, i32** %6
%592 = getelementptr inbounds i32, i32* %591, i64 20
%593 = load i32, i32* %592
%594 = load i32*, i32** %6
%595 = getelementptr inbounds i32, i32* %594, i64 21
%596 = load i32, i32* %595
%597 = load i32*, i32** %6
%598 = getelementptr inbounds i32, i32* %597, i64 22
%599 = load i32, i32* %598
%600 = load i32*, i32** %6
%601 = getelementptr inbounds i32, i32* %600, i64 23
%602 = load i32, i32* %601
%603 = load i32*, i32** %6
%604 = getelementptr inbounds i32, i32* %603, i64 24
%605 = load i32, i32* %604
%606 = load i32*, i32** %6
%607 = getelementptr inbounds i32, i32* %606, i64 25
%608 = load i32, i32* %607
%609 = load i32*, i32** %6
%610 = getelementptr inbounds i32, i32* %609, i64 26
%611 = load i32, i32* %610
%612 = load i32*, i32** %6
%613 = getelementptr inbounds i32, i32* %612, i64 27
%614 = load i32, i32* %613
%615 = load i32*, i32** %6
%616 = getelementptr inbounds i32, i32* %615, i64 28
%617 = load i32, i32* %616
%618 = load i32*, i32** %6
%619 = getelementptr inbounds i32, i32* %618, i64 29
%620 = load i32, i32* %619
%621 = load i32*, i32** %6
%622 = getelementptr inbounds i32, i32* %621, i64 30
%623 = load i32, i32* %622
%624 = load i32*, i32** %6
%625 = getelementptr inbounds i32, i32* %624, i64 31
%626 = load i32, i32* %625
%627 = load i32*, i32** %6
%628 = getelementptr inbounds i32, i32* %627, i64 32
%629 = load i32, i32* %628
%630 = load i32*, i32** %6
%631 = getelementptr inbounds i32, i32* %630, i64 33
%632 = load i32, i32* %631
%633 = load i32*, i32** %6
%634 = getelementptr inbounds i32, i32* %633, i64 34
%635 = load i32, i32* %634
%636 = load i32*, i32** %6
%637 = getelementptr inbounds i32, i32* %636, i64 35
%638 = load i32, i32* %637
%639 = load i32*, i32** %6
%640 = getelementptr inbounds i32, i32* %639, i64 36
%641 = load i32, i32* %640
%642 = load i32*, i32** %6
%643 = getelementptr inbounds i32, i32* %642, i64 37
%644 = load i32, i32* %643
%645 = load i32*, i32** %6
%646 = getelementptr inbounds i32, i32* %645, i64 38
%647 = load i32, i32* %646
%648 = load i32*, i32** %6
%649 = getelementptr inbounds i32, i32* %648, i64 39
%650 = load i32, i32* %649
%651 = load i32*, i32** %6
%652 = getelementptr inbounds i32, i32* %651, i64 40
%653 = load i32, i32* %652
%654 = load i32*, i32** %6
%655 = getelementptr inbounds i32, i32* %654, i64 41
%656 = load i32, i32* %655
%657 = load i32*, i32** %6
%658 = getelementptr inbounds i32, i32* %657, i64 42
%659 = load i32, i32* %658
%660 = load i32*, i32** %6
%661 = getelementptr inbounds i32, i32* %660, i64 43
%662 = load i32, i32* %661
%663 = load i32*, i32** %6
%664 = getelementptr inbounds i32, i32* %663, i64 44
%665 = load i32, i32* %664
%666 = load i32*, i32** %6
%667 = getelementptr inbounds i32, i32* %666, i64 45
%668 = load i32, i32* %667
%669 = load i32*, i32** %6
%670 = getelementptr inbounds i32, i32* %669, i64 46
%671 = load i32, i32* %670
%672 = load i32*, i32** %6
%673 = getelementptr inbounds i32, i32* %672, i64 47
%674 = load i32, i32* %673
%675 = load i32*, i32** %6
%676 = getelementptr inbounds i32, i32* %675, i64 48
%677 = load i32, i32* %676
%678 = load i32*, i32** %6
%679 = getelementptr inbounds i32, i32* %678, i64 49
%680 = load i32, i32* %679
%681 = call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([162 x i8], [162 x i8]* @.str.5, i64 0, i64 0), i64 %528, i64 %530, i32 %533, i32 %536, i32 %539, i32 %542, i32 %545, i32 %548, i32 %551, i32 %554, i32 %557, i32 %560, i32 %563, i32 %566, i32 %569, i32 %572, i32 %575, i32 %578, i32 %581, i32 %584, i32 %587, i32 %590, i32 %593, i32 %596, i32 %599, i32 %602, i32 %605, i32 %608, i32 %611, i32 %614, i32 %617, i32 %620, i32 %623, i32 %626, i32 %629, i32 %632, i32 %635, i32 %638, i32 %641, i32 %644, i32 %647, i32 %650, i32 %653, i32 %656, i32 %659, i32 %662, i32 %665, i32 %668, i32 %671, i32 %674, i32 %677, i32 %680)
br label %1136
682: ; preds = %3
%683 = load i64, i64* %4
%684 = load i64, i64* %7
%685 = udiv i64 %684, 1000
%686 = load i32*, i32** %6
%687 = getelementptr inbounds i32, i32* %686, i64 0
%688 = load i32, i32* %687
%689 = load i32*, i32** %6
%690 = getelementptr inbounds i32, i32* %689, i64 1
%691 = load i32, i32* %690
%692 = load i32*, i32** %6
%693 = getelementptr inbounds i32, i32* %692, i64 2
%694 = load i32, i32* %693
%695 = load i32*, i32** %6
%696 = getelementptr inbounds i32, i32* %695, i64 3
%697 = load i32, i32* %696
%698 = load i32*, i32** %6
%699 = getelementptr inbounds i32, i32* %698, i64 4
%700 = load i32, i32* %699
%701 = load i32*, i32** %6
%702 = getelementptr inbounds i32, i32* %701, i64 5
%703 = load i32, i32* %702
%704 = load i32*, i32** %6
%705 = getelementptr inbounds i32, i32* %704, i64 6
%706 = load i32, i32* %705
%707 = load i32*, i32** %6
%708 = getelementptr inbounds i32, i32* %707, i64 7
%709 = load i32, i32* %708
%710 = load i32*, i32** %6
%711 = getelementptr inbounds i32, i32* %710, i64 8
%712 = load i32, i32* %711
%713 = load i32*, i32** %6
%714 = getelementptr inbounds i32, i32* %713, i64 9
%715 = load i32, i32* %714
%716 = load i32*, i32** %6
%717 = getelementptr inbounds i32, i32* %716, i64 10
%718 = load i32, i32* %717
%719 = load i32*, i32** %6
%720 = getelementptr inbounds i32, i32* %719, i64 11
%721 = load i32, i32* %720
%722 = load i32*, i32** %6
%723 = getelementptr inbounds i32, i32* %722, i64 12
%724 = load i32, i32* %723
%725 = load i32*, i32** %6
%726 = getelementptr inbounds i32, i32* %725, i64 13
%727 = load i32, i32* %726
%728 = load i32*, i32** %6
%729 = getelementptr inbounds i32, i32* %728, i64 14
%730 = load i32, i32* %729
%731 = load i32*, i32** %6
%732 = getelementptr inbounds i32, i32* %731, i64 15
%733 = load i32, i32* %732
%734 = load i32*, i32** %6
%735 = getelementptr inbounds i32, i32* %734, i64 16
%736 = load i32, i32* %735
%737 = load i32*, i32** %6
%738 = getelementptr inbounds i32, i32* %737, i64 17
%739 = load i32, i32* %738
%740 = load i32*, i32** %6
%741 = getelementptr inbounds i32, i32* %740, i64 18
%742 = load i32, i32* %741
%743 = load i32*, i32** %6
%744 = getelementptr inbounds i32, i32* %743, i64 19
%745 = load i32, i32* %744
%746 = load i32*, i32** %6
%747 = getelementptr inbounds i32, i32* %746, i64 20
%748 = load i32, i32* %747
%749 = load i32*, i32** %6
%750 = getelementptr inbounds i32, i32* %749, i64 21
%751 = load i32, i32* %750
%752 = load i32*, i32** %6
%753 = getelementptr inbounds i32, i32* %752, i64 22
%754 = load i32, i32* %753
%755 = load i32*, i32** %6
%756 = getelementptr inbounds i32, i32* %755, i64 23
%757 = load i32, i32* %756
%758 = load i32*, i32** %6
%759 = getelementptr inbounds i32, i32* %758, i64 24
%760 = load i32, i32* %759
%761 = load i32*, i32** %6
%762 = getelementptr inbounds i32, i32* %761, i64 25
%763 = load i32, i32* %762
%764 = load i32*, i32** %6
%765 = getelementptr inbounds i32, i32* %764, i64 26
%766 = load i32, i32* %765
%767 = load i32*, i32** %6
%768 = getelementptr inbounds i32, i32* %767, i64 27
%769 = load i32, i32* %768
%770 = load i32*, i32** %6
%771 = getelementptr inbounds i32, i32* %770, i64 28
%772 = load i32, i32* %771
%773 = load i32*, i32** %6
%774 = getelementptr inbounds i32, i32* %773, i64 29
%775 = load i32, i32* %774
%776 = load i32*, i32** %6
%777 = getelementptr inbounds i32, i32* %776, i64 30
%778 = load i32, i32* %777
%779 = load i32*, i32** %6
%780 = getelementptr inbounds i32, i32* %779, i64 31
%781 = load i32, i32* %780
%782 = load i32*, i32** %6
%783 = getelementptr inbounds i32, i32* %782, i64 32
%784 = load i32, i32* %783
%785 = load i32*, i32** %6
%786 = getelementptr inbounds i32, i32* %785, i64 33
%787 = load i32, i32* %786
%788 = load i32*, i32** %6
%789 = getelementptr inbounds i32, i32* %788, i64 34
%790 = load i32, i32* %789
%791 = load i32*, i32** %6
%792 = getelementptr inbounds i32, i32* %791, i64 35
%793 = load i32, i32* %792
%794 = load i32*, i32** %6
%795 = getelementptr inbounds i32, i32* %794, i64 36
%796 = load i32, i32* %795
%797 = load i32*, i32** %6
%798 = getelementptr inbounds i32, i32* %797, i64 37
%799 = load i32, i32* %798
%800 = load i32*, i32** %6
%801 = getelementptr inbounds i32, i32* %800, i64 38
%802 = load i32, i32* %801
%803 = load i32*, i32** %6
%804 = getelementptr inbounds i32, i32* %803, i64 39
%805 = load i32, i32* %804
%806 = load i32*, i32** %6
%807 = getelementptr inbounds i32, i32* %806, i64 40
%808 = load i32, i32* %807
%809 = load i32*, i32** %6
%810 = getelementptr inbounds i32, i32* %809, i64 41
%811 = load i32, i32* %810
%812 = load i32*, i32** %6
%813 = getelementptr inbounds i32, i32* %812, i64 42
%814 = load i32, i32* %813
%815 = load i32*, i32** %6
%816 = getelementptr inbounds i32, i32* %815, i64 43
%817 = load i32, i32* %816
%818 = load i32*, i32** %6
%819 = getelementptr inbounds i32, i32* %818, i64 44
%820 = load i32, i32* %819
%821 = load i32*, i32** %6
%822 = getelementptr inbounds i32, i32* %821, i64 45
%823 = load i32, i32* %822
%824 = load i32*, i32** %6
%825 = getelementptr inbounds i32, i32* %824, i64 46
%826 = load i32, i32* %825
%827 = load i32*, i32** %6
%828 = getelementptr inbounds i32, i32* %827, i64 47
%829 = load i32, i32* %828
%830 = load i32*, i32** %6
%831 = getelementptr inbounds i32, i32* %830, i64 48
%832 = load i32, i32* %831
%833 = load i32*, i32** %6
%834 = getelementptr inbounds i32, i32* %833, i64 49
%835 = load i32, i32* %834
%836 = load i32*, i32** %6
%837 = getelementptr inbounds i32, i32* %836, i64 50
%838 = load i32, i32* %837
%839 = load i32*, i32** %6
%840 = getelementptr inbounds i32, i32* %839, i64 51
%841 = load i32, i32* %840
%842 = load i32*, i32** %6
%843 = getelementptr inbounds i32, i32* %842, i64 52
%844 = load i32, i32* %843
%845 = load i32*, i32** %6
%846 = getelementptr inbounds i32, i32* %845, i64 53
%847 = load i32, i32* %846
%848 = load i32*, i32** %6
%849 = getelementptr inbounds i32, i32* %848, i64 54
%850 = load i32, i32* %849
%851 = load i32*, i32** %6
%852 = getelementptr inbounds i32, i32* %851, i64 55
%853 = load i32, i32* %852
%854 = load i32*, i32** %6
%855 = getelementptr inbounds i32, i32* %854, i64 56
%856 = load i32, i32* %855
%857 = load i32*, i32** %6
%858 = getelementptr inbounds i32, i32* %857, i64 57
%859 = load i32, i32* %858
%860 = load i32*, i32** %6
%861 = getelementptr inbounds i32, i32* %860, i64 58
%862 = load i32, i32* %861
%863 = load i32*, i32** %6
%864 = getelementptr inbounds i32, i32* %863, i64 59
%865 = load i32, i32* %864
%866 = load i32*, i32** %6
%867 = getelementptr inbounds i32, i32* %866, i64 60
%868 = load i32, i32* %867
%869 = load i32*, i32** %6
%870 = getelementptr inbounds i32, i32* %869, i64 61
%871 = load i32, i32* %870
%872 = load i32*, i32** %6
%873 = getelementptr inbounds i32, i32* %872, i64 62
%874 = load i32, i32* %873
%875 = load i32*, i32** %6
%876 = getelementptr inbounds i32, i32* %875, i64 63
%877 = load i32, i32* %876
%878 = load i32*, i32** %6
%879 = getelementptr inbounds i32, i32* %878, i64 64
%880 = load i32, i32* %879
%881 = load i32*, i32** %6
%882 = getelementptr inbounds i32, i32* %881, i64 65
%883 = load i32, i32* %882
%884 = call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([210 x i8], [210 x i8]* @.str.6, i64 0, i64 0), i64 %683, i64 %685, i32 %688, i32 %691, i32 %694, i32 %697, i32 %700, i32 %703, i32 %706, i32 %709, i32 %712, i32 %715, i32 %718, i32 %721, i32 %724, i32 %727, i32 %730, i32 %733, i32 %736, i32 %739, i32 %742, i32 %745, i32 %748, i32 %751, i32 %754, i32 %757, i32 %760, i32 %763, i32 %766, i32 %769, i32 %772, i32 %775, i32 %778, i32 %781, i32 %784, i32 %787, i32 %790, i32 %793, i32 %796, i32 %799, i32 %802, i32 %805, i32 %808, i32 %811, i32 %814, i32 %817, i32 %820, i32 %823, i32 %826, i32 %829, i32 %832, i32 %835, i32 %838, i32 %841, i32 %844, i32 %847, i32 %850, i32 %853, i32 %856, i32 %859, i32 %862, i32 %865, i32 %868, i32 %871, i32 %874, i32 %877, i32 %880, i32 %883)
br label %1136
885: ; preds = %3
%886 = load i64, i64* %4
%887 = load i64, i64* %7
%888 = udiv i64 %887, 1000
%889 = load i32*, i32** %6
%890 = getelementptr inbounds i32, i32* %889, i64 0
%891 = load i32, i32* %890
%892 = load i32*, i32** %6
%893 = getelementptr inbounds i32, i32* %892, i64 1
%894 = load i32, i32* %893
%895 = load i32*, i32** %6
%896 = getelementptr inbounds i32, i32* %895, i64 2
%897 = load i32, i32* %896
%898 = load i32*, i32** %6
%899 = getelementptr inbounds i32, i32* %898, i64 3
%900 = load i32, i32* %899
%901 = load i32*, i32** %6
%902 = getelementptr inbounds i32, i32* %901, i64 4
%903 = load i32, i32* %902
%904 = load i32*, i32** %6
%905 = getelementptr inbounds i32, i32* %904, i64 5
%906 = load i32, i32* %905
%907 = load i32*, i32** %6
%908 = getelementptr inbounds i32, i32* %907, i64 6
%909 = load i32, i32* %908
%910 = load i32*, i32** %6
%911 = getelementptr inbounds i32, i32* %910, i64 7
%912 = load i32, i32* %911
%913 = load i32*, i32** %6
%914 = getelementptr inbounds i32, i32* %913, i64 8
%915 = load i32, i32* %914
%916 = load i32*, i32** %6
%917 = getelementptr inbounds i32, i32* %916, i64 9
%918 = load i32, i32* %917
%919 = load i32*, i32** %6
%920 = getelementptr inbounds i32, i32* %919, i64 10
%921 = load i32, i32* %920
%922 = load i32*, i32** %6
%923 = getelementptr inbounds i32, i32* %922, i64 11
%924 = load i32, i32* %923
%925 = load i32*, i32** %6
%926 = getelementptr inbounds i32, i32* %925, i64 12
%927 = load i32, i32* %926
%928 = load i32*, i32** %6
%929 = getelementptr inbounds i32, i32* %928, i64 13
%930 = load i32, i32* %929
%931 = load i32*, i32** %6
%932 = getelementptr inbounds i32, i32* %931, i64 14
%933 = load i32, i32* %932
%934 = load i32*, i32** %6
%935 = getelementptr inbounds i32, i32* %934, i64 15
%936 = load i32, i32* %935
%937 = load i32*, i32** %6
%938 = getelementptr inbounds i32, i32* %937, i64 16
%939 = load i32, i32* %938
%940 = load i32*, i32** %6
%941 = getelementptr inbounds i32, i32* %940, i64 17
%942 = load i32, i32* %941
%943 = load i32*, i32** %6
%944 = getelementptr inbounds i32, i32* %943, i64 18
%945 = load i32, i32* %944
%946 = load i32*, i32** %6
%947 = getelementptr inbounds i32, i32* %946, i64 19
%948 = load i32, i32* %947
%949 = load i32*, i32** %6
%950 = getelementptr inbounds i32, i32* %949, i64 20
%951 = load i32, i32* %950
%952 = load i32*, i32** %6
%953 = getelementptr inbounds i32, i32* %952, i64 21
%954 = load i32, i32* %953
%955 = load i32*, i32** %6
%956 = getelementptr inbounds i32, i32* %955, i64 22
%957 = load i32, i32* %956
%958 = load i32*, i32** %6
%959 = getelementptr inbounds i32, i32* %958, i64 23
%960 = load i32, i32* %959
%961 = load i32*, i32** %6
%962 = getelementptr inbounds i32, i32* %961, i64 24
%963 = load i32, i32* %962
%964 = load i32*, i32** %6
%965 = getelementptr inbounds i32, i32* %964, i64 25
%966 = load i32, i32* %965
%967 = load i32*, i32** %6
%968 = getelementptr inbounds i32, i32* %967, i64 26
%969 = load i32, i32* %968
%970 = load i32*, i32** %6
%971 = getelementptr inbounds i32, i32* %970, i64 27
%972 = load i32, i32* %971
%973 = load i32*, i32** %6
%974 = getelementptr inbounds i32, i32* %973, i64 28
%975 = load i32, i32* %974
%976 = load i32*, i32** %6
%977 = getelementptr inbounds i32, i32* %976, i64 29
%978 = load i32, i32* %977
%979 = load i32*, i32** %6
%980 = getelementptr inbounds i32, i32* %979, i64 30
%981 = load i32, i32* %980
%982 = load i32*, i32** %6
%983 = getelementptr inbounds i32, i32* %982, i64 31
%984 = load i32, i32* %983
%985 = load i32*, i32** %6
%986 = getelementptr inbounds i32, i32* %985, i64 32
%987 = load i32, i32* %986
%988 = load i32*, i32** %6
%989 = getelementptr inbounds i32, i32* %988, i64 33
%990 = load i32, i32* %989
%991 = load i32*, i32** %6
%992 = getelementptr inbounds i32, i32* %991, i64 34
%993 = load i32, i32* %992
%994 = load i32*, i32** %6
%995 = getelementptr inbounds i32, i32* %994, i64 35
%996 = load i32, i32* %995
%997 = load i32*, i32** %6
%998 = getelementptr inbounds i32, i32* %997, i64 36
%999 = load i32, i32* %998
%1000 = load i32*, i32** %6
%1001 = getelementptr inbounds i32, i32* %1000, i64 37
%1002 = load i32, i32* %1001
%1003 = load i32*, i32** %6
%1004 = getelementptr inbounds i32, i32* %1003, i64 38
%1005 = load i32, i32* %1004
%1006 = load i32*, i32** %6
%1007 = getelementptr inbounds i32, i32* %1006, i64 39
%1008 = load i32, i32* %1007
%1009 = load i32*, i32** %6
%1010 = getelementptr inbounds i32, i32* %1009, i64 40
%1011 = load i32, i32* %1010
%1012 = load i32*, i32** %6
%1013 = getelementptr inbounds i32, i32* %1012, i64 41
%1014 = load i32, i32* %1013
%1015 = load i32*, i32** %6
%1016 = getelementptr inbounds i32, i32* %1015, i64 42
%1017 = load i32, i32* %1016
%1018 = load i32*, i32** %6
%1019 = getelementptr inbounds i32, i32* %1018, i64 43
%1020 = load i32, i32* %1019
%1021 = load i32*, i32** %6
%1022 = getelementptr inbounds i32, i32* %1021, i64 44
%1023 = load i32, i32* %1022
%1024 = load i32*, i32** %6
%1025 = getelementptr inbounds i32, i32* %1024, i64 45
%1026 = load i32, i32* %1025
%1027 = load i32*, i32** %6
%1028 = getelementptr inbounds i32, i32* %1027, i64 46
%1029 = load i32, i32* %1028
%1030 = load i32*, i32** %6
%1031 = getelementptr inbounds i32, i32* %1030, i64 47
%1032 = load i32, i32* %1031
%1033 = load i32*, i32** %6
%1034 = getelementptr inbounds i32, i32* %1033, i64 48
%1035 = load i32, i32* %1034
%1036 = load i32*, i32** %6
%1037 = getelementptr inbounds i32, i32* %1036, i64 49
%1038 = load i32, i32* %1037
%1039 = load i32*, i32** %6
%1040 = getelementptr inbounds i32, i32* %1039, i64 50
%1041 = load i32, i32* %1040
%1042 = load i32*, i32** %6
%1043 = getelementptr inbounds i32, i32* %1042, i64 51
%1044 = load i32, i32* %1043
%1045 = load i32*, i32** %6
%1046 = getelementptr inbounds i32, i32* %1045, i64 52
%1047 = load i32, i32* %1046
%1048 = load i32*, i32** %6
%1049 = getelementptr inbounds i32, i32* %1048, i64 53
%1050 = load i32, i32* %1049
%1051 = load i32*, i32** %6
%1052 = getelementptr inbounds i32, i32* %1051, i64 54
%1053 = load i32, i32* %1052
%1054 = load i32*, i32** %6
%1055 = getelementptr inbounds i32, i32* %1054, i64 55
%1056 = load i32, i32* %1055
%1057 = load i32*, i32** %6
%1058 = getelementptr inbounds i32, i32* %1057, i64 56
%1059 = load i32, i32* %1058
%1060 = load i32*, i32** %6
%1061 = getelementptr inbounds i32, i32* %1060, i64 57
%1062 = load i32, i32* %1061
%1063 = load i32*, i32** %6
%1064 = getelementptr inbounds i32, i32* %1063, i64 58
%1065 = load i32, i32* %1064
%1066 = load i32*, i32** %6
%1067 = getelementptr inbounds i32, i32* %1066, i64 59
%1068 = load i32, i32* %1067
%1069 = load i32*, i32** %6
%1070 = getelementptr inbounds i32, i32* %1069, i64 60
%1071 = load i32, i32* %1070
%1072 = load i32*, i32** %6
%1073 = getelementptr inbounds i32, i32* %1072, i64 61
%1074 = load i32, i32* %1073
%1075 = load i32*, i32** %6
%1076 = getelementptr inbounds i32, i32* %1075, i64 62
%1077 = load i32, i32* %1076
%1078 = load i32*, i32** %6
%1079 = getelementptr inbounds i32, i32* %1078, i64 63
%1080 = load i32, i32* %1079
%1081 = load i32*, i32** %6
%1082 = getelementptr inbounds i32, i32* %1081, i64 64
%1083 = load i32, i32* %1082
%1084 = load i32*, i32** %6
%1085 = getelementptr inbounds i32, i32* %1084, i64 65
%1086 = load i32, i32* %1085
%1087 = load i32*, i32** %6
%1088 = getelementptr inbounds i32, i32* %1087, i64 66
%1089 = load i32, i32* %1088
%1090 = load i32*, i32** %6
%1091 = getelementptr inbounds i32, i32* %1090, i64 67
%1092 = load i32, i32* %1091
%1093 = load i32*, i32** %6
%1094 = getelementptr inbounds i32, i32* %1093, i64 68
%1095 = load i32, i32* %1094
%1096 = load i32*, i32** %6
%1097 = getelementptr inbounds i32, i32* %1096, i64 69
%1098 = load i32, i32* %1097
%1099 = load i32*, i32** %6
%1100 = getelementptr inbounds i32, i32* %1099, i64 70
%1101 = load i32, i32* %1100
%1102 = load i32*, i32** %6
%1103 = getelementptr inbounds i32, i32* %1102, i64 71
%1104 = load i32, i32* %1103
%1105 = load i32*, i32** %6
%1106 = getelementptr inbounds i32, i32* %1105, i64 72
%1107 = load i32, i32* %1106
%1108 = load i32*, i32** %6
%1109 = getelementptr inbounds i32, i32* %1108, i64 73
%1110 = load i32, i32* %1109
%1111 = load i32*, i32** %6
%1112 = getelementptr inbounds i32, i32* %1111, i64 74
%1113 = load i32, i32* %1112
%1114 = load i32*, i32** %6
%1115 = getelementptr inbounds i32, i32* %1114, i64 75
%1116 = load i32, i32* %1115
%1117 = load i32*, i32** %6
%1118 = getelementptr inbounds i32, i32* %1117, i64 76
%1119 = load i32, i32* %1118
%1120 = load i32*, i32** %6
%1121 = getelementptr inbounds i32, i32* %1120, i64 77
%1122 = load i32, i32* %1121
%1123 = load i32*, i32** %6
%1124 = getelementptr inbounds i32, i32* %1123, i64 78
%1125 = load i32, i32* %1124
%1126 = load i32*, i32** %6
%1127 = getelementptr inbounds i32, i32* %1126, i64 79
%1128 = load i32, i32* %1127
%1129 = load i32*, i32** %6
%1130 = getelementptr inbounds i32, i32* %1129, i64 80
%1131 = load i32, i32* %1130
%1132 = load i32*, i32** %6
%1133 = getelementptr inbounds i32, i32* %1132, i64 81
%1134 = load i32, i32* %1133
%1135 = call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([258 x i8], [258 x i8]* @.str.7, i64 0, i64 0), i64 %886, i64 %888, i32 %891, i32 %894, i32 %897, i32 %900, i32 %903, i32 %906, i32 %909, i32 %912, i32 %915, i32 %918, i32 %921, i32 %924, i32 %927, i32 %930, i32 %933, i32 %936, i32 %939, i32 %942, i32 %945, i32 %948, i32 %951, i32 %954, i32 %957, i32 %960, i32 %963, i32 %966, i32 %969, i32 %972, i32 %975, i32 %978, i32 %981, i32 %984, i32 %987, i32 %990, i32 %993, i32 %996, i32 %999, i32 %1002, i32 %1005, i32 %1008, i32 %1011, i32 %1014, i32 %1017, i32 %1020, i32 %1023, i32 %1026, i32 %1029, i32 %1032, i32 %1035, i32 %1038, i32 %1041, i32 %1044, i32 %1047, i32 %1050, i32 %1053, i32 %1056, i32 %1059, i32 %1062, i32 %1065, i32 %1068, i32 %1071, i32 %1074, i32 %1077, i32 %1080, i32 %1083, i32 %1086, i32 %1089, i32 %1092, i32 %1095, i32 %1098, i32 %1101, i32 %1104, i32 %1107, i32 %1110, i32 %1113, i32 %1116, i32 %1119, i32 %1122, i32 %1125, i32 %1128, i32 %1131, i32 %1134)
br label %1136
1136: ; preds = %3, %885, %682, %527, %390, %274, %167, %72, %13
ret void
}

LLVM IR (-O2):
@.str = [66 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
@.str.1 = [102 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
@.str.2 = [114 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
@.str.3 = [123 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
@.str.4 = [144 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
@.str.5 = [162 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
@.str.6 = [210 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
@.str.7 = [258 x i8] c"%5lu.%06lu,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x,%x\0A\00"
define void @ms_smi(i64 %0, i8 zeroext %1, i32* %2) {
%4 = tail call i32 (i64, i32, ...) bitcast (i32 (...)* @do_div to i32 (i64, i32, ...)*)(i64 %0, i32 1000000000)
%5 = sext i32 %4 to i64
switch i8 %1, label %744 [
i8 18, label %6
i8 30, label %44
i8 34, label %106
i8 37, label %176
i8 44, label %252
i8 50, label %342
i8 66, label %444
i8 82, label %578
]
6: ; preds = %3
%7 = udiv i64 %5, 1000
%8 = load i32, i32* %2
%9 = getelementptr inbounds i32, i32* %2, i64 1
%10 = load i32, i32* %9
%11 = getelementptr inbounds i32, i32* %2, i64 2
%12 = load i32, i32* %11
%13 = getelementptr inbounds i32, i32* %2, i64 3
%14 = load i32, i32* %13
%15 = getelementptr inbounds i32, i32* %2, i64 4
%16 = load i32, i32* %15
%17 = getelementptr inbounds i32, i32* %2, i64 5
%18 = load i32, i32* %17
%19 = getelementptr inbounds i32, i32* %2, i64 6
%20 = load i32, i32* %19
%21 = getelementptr inbounds i32, i32* %2, i64 7
%22 = load i32, i32* %21
%23 = getelementptr inbounds i32, i32* %2, i64 8
%24 = load i32, i32* %23
%25 = getelementptr inbounds i32, i32* %2, i64 9
%26 = load i32, i32* %25
%27 = getelementptr inbounds i32, i32* %2, i64 10
%28 = load i32, i32* %27
%29 = getelementptr inbounds i32, i32* %2, i64 11
%30 = load i32, i32* %29
%31 = getelementptr inbounds i32, i32* %2, i64 12
%32 = load i32, i32* %31
%33 = getelementptr inbounds i32, i32* %2, i64 13
%34 = load i32, i32* %33
%35 = getelementptr inbounds i32, i32* %2, i64 14
%36 = load i32, i32* %35
%37 = getelementptr inbounds i32, i32* %2, i64 15
%38 = load i32, i32* %37
%39 = getelementptr inbounds i32, i32* %2, i64 16
%40 = load i32, i32* %39
%41 = getelementptr inbounds i32, i32* %2, i64 17
%42 = load i32, i32* %41
%43 = tail call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([66 x i8], [66 x i8]* @.str, i64 0, i64 0), i64 %0, i64 %7, i32 %8, i32 %10, i32 %12, i32 %14, i32 %16, i32 %18, i32 %20, i32 %22, i32 %24, i32 %26, i32 %28, i32 %30, i32 %32, i32 %34, i32 %36, i32 %38, i32 %40, i32 %42)
br label %744
44: ; preds = %3
%45 = udiv i64 %5, 1000
%46 = load i32, i32* %2
%47 = getelementptr inbounds i32, i32* %2, i64 1
%48 = load i32, i32* %47
%49 = getelementptr inbounds i32, i32* %2, i64 2
%50 = load i32, i32* %49
%51 = getelementptr inbounds i32, i32* %2, i64 3
%52 = load i32, i32* %51
%53 = getelementptr inbounds i32, i32* %2, i64 4
%54 = load i32, i32* %53
%55 = getelementptr inbounds i32, i32* %2, i64 5
%56 = load i32, i32* %55
%57 = getelementptr inbounds i32, i32* %2, i64 6
%58 = load i32, i32* %57
%59 = getelementptr inbounds i32, i32* %2, i64 7
%60 = load i32, i32* %59
%61 = getelementptr inbounds i32, i32* %2, i64 8
%62 = load i32, i32* %61
%63 = getelementptr inbounds i32, i32* %2, i64 9
%64 = load i32, i32* %63
%65 = getelementptr inbounds i32, i32* %2, i64 10
%66 = load i32, i32* %65
%67 = getelementptr inbounds i32, i32* %2, i64 11
%68 = load i32, i32* %67
%69 = getelementptr inbounds i32, i32* %2, i64 12
%70 = load i32, i32* %69
%71 = getelementptr inbounds i32, i32* %2, i64 13
%72 = load i32, i32* %71
%73 = getelementptr inbounds i32, i32* %2, i64 14
%74 = load i32, i32* %73
%75 = getelementptr inbounds i32, i32* %2, i64 15
%76 = load i32, i32* %75
%77 = getelementptr inbounds i32, i32* %2, i64 16
%78 = load i32, i32* %77
%79 = getelementptr inbounds i32, i32* %2, i64 17
%80 = load i32, i32* %79
%81 = getelementptr inbounds i32, i32* %2, i64 18
%82 = load i32, i32* %81
%83 = getelementptr inbounds i32, i32* %2, i64 19
%84 = load i32, i32* %83
%85 = getelementptr inbounds i32, i32* %2, i64 20
%86 = load i32, i32* %85
%87 = getelementptr inbounds i32, i32* %2, i64 21
%88 = load i32, i32* %87
%89 = getelementptr inbounds i32, i32* %2, i64 22
%90 = load i32, i32* %89
%91 = getelementptr inbounds i32, i32* %2, i64 23
%92 = load i32, i32* %91
%93 = getelementptr inbounds i32, i32* %2, i64 24
%94 = load i32, i32* %93
%95 = getelementptr inbounds i32, i32* %2, i64 25
%96 = load i32, i32* %95
%97 = getelementptr inbounds i32, i32* %2, i64 26
%98 = load i32, i32* %97
%99 = getelementptr inbounds i32, i32* %2, i64 27
%100 = load i32, i32* %99
%101 = getelementptr inbounds i32, i32* %2, i64 28
%102 = load i32, i32* %101
%103 = getelementptr inbounds i32, i32* %2, i64 29
%104 = load i32, i32* %103
%105 = tail call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([102 x i8], [102 x i8]* @.str.1, i64 0, i64 0), i64 %0, i64 %45, i32 %46, i32 %48, i32 %50, i32 %52, i32 %54, i32 %56, i32 %58, i32 %60, i32 %62, i32 %64, i32 %66, i32 %68, i32 %70, i32 %72, i32 %74, i32 %76, i32 %78, i32 %80, i32 %82, i32 %84, i32 %86, i32 %88, i32 %90, i32 %92, i32 %94, i32 %96, i32 %98, i32 %100, i32 %102, i32 %104)
br label %744
106: ; preds = %3
%107 = udiv i64 %5, 1000
%108 = load i32, i32* %2
%109 = getelementptr inbounds i32, i32* %2, i64 1
%110 = load i32, i32* %109
%111 = getelementptr inbounds i32, i32* %2, i64 2
%112 = load i32, i32* %111
%113 = getelementptr inbounds i32, i32* %2, i64 3
%114 = load i32, i32* %113
%115 = getelementptr inbounds i32, i32* %2, i64 4
%116 = load i32, i32* %115
%117 = getelementptr inbounds i32, i32* %2, i64 5
%118 = load i32, i32* %117
%119 = getelementptr inbounds i32, i32* %2, i64 6
%120 = load i32, i32* %119
%121 = getelementptr inbounds i32, i32* %2, i64 7
%122 = load i32, i32* %121
%123 = getelementptr inbounds i32, i32* %2, i64 8
%124 = load i32, i32* %123
%125 = getelementptr inbounds i32, i32* %2, i64 9
%126 = load i32, i32* %125
%127 = getelementptr inbounds i32, i32* %2, i64 10
%128 = load i32, i32* %127
%129 = getelementptr inbounds i32, i32* %2, i64 11
%130 = load i32, i32* %129
%131 = getelementptr inbounds i32, i32* %2, i64 12
%132 = load i32, i32* %131
%133 = getelementptr inbounds i32, i32* %2, i64 13
%134 = load i32, i32* %133
%135 = getelementptr inbounds i32, i32* %2, i64 14
%136 = load i32, i32* %135
%137 = getelementptr inbounds i32, i32* %2, i64 15
%138 = load i32, i32* %137
%139 = getelementptr inbounds i32, i32* %2, i64 16
%140 = load i32, i32* %139
%141 = getelementptr inbounds i32, i32* %2, i64 17
%142 = load i32, i32* %141
%143 = getelementptr inbounds i32, i32* %2, i64 18
%144 = load i32, i32* %143
%145 = getelementptr inbounds i32, i32* %2, i64 19
%146 = load i32, i32* %145
%147 = getelementptr inbounds i32, i32* %2, i64 20
%148 = load i32, i32* %147
%149 = getelementptr inbounds i32, i32* %2, i64 21
%150 = load i32, i32* %149
%151 = getelementptr inbounds i32, i32* %2, i64 22
%152 = load i32, i32* %151
%153 = getelementptr inbounds i32, i32* %2, i64 23
%154 = load i32, i32* %153
%155 = getelementptr inbounds i32, i32* %2, i64 24
%156 = load i32, i32* %155
%157 = getelementptr inbounds i32, i32* %2, i64 25
%158 = load i32, i32* %157
%159 = getelementptr inbounds i32, i32* %2, i64 26
%160 = load i32, i32* %159
%161 = getelementptr inbounds i32, i32* %2, i64 27
%162 = load i32, i32* %161
%163 = getelementptr inbounds i32, i32* %2, i64 28
%164 = load i32, i32* %163
%165 = getelementptr inbounds i32, i32* %2, i64 29
%166 = load i32, i32* %165
%167 = getelementptr inbounds i32, i32* %2, i64 30
%168 = load i32, i32* %167
%169 = getelementptr inbounds i32, i32* %2, i64 31
%170 = load i32, i32* %169
%171 = getelementptr inbounds i32, i32* %2, i64 32
%172 = load i32, i32* %171
%173 = getelementptr inbounds i32, i32* %2, i64 33
%174 = load i32, i32* %173
%175 = tail call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([114 x i8], [114 x i8]* @.str.2, i64 0, i64 0), i64 %0, i64 %107, i32 %108, i32 %110, i32 %112, i32 %114, i32 %116, i32 %118, i32 %120, i32 %122, i32 %124, i32 %126, i32 %128, i32 %130, i32 %132, i32 %134, i32 %136, i32 %138, i32 %140, i32 %142, i32 %144, i32 %146, i32 %148, i32 %150, i32 %152, i32 %154, i32 %156, i32 %158, i32 %160, i32 %162, i32 %164, i32 %166, i32 %168, i32 %170, i32 %172, i32 %174)
br label %744
176: ; preds = %3
%177 = udiv i64 %5, 1000
%178 = load i32, i32* %2
%179 = getelementptr inbounds i32, i32* %2, i64 1
%180 = load i32, i32* %179
%181 = getelementptr inbounds i32, i32* %2, i64 2
%182 = load i32, i32* %181
%183 = getelementptr inbounds i32, i32* %2, i64 3
%184 = load i32, i32* %183
%185 = getelementptr inbounds i32, i32* %2, i64 4
%186 = load i32, i32* %185
%187 = getelementptr inbounds i32, i32* %2, i64 5
%188 = load i32, i32* %187
%189 = getelementptr inbounds i32, i32* %2, i64 6
%190 = load i32, i32* %189
%191 = getelementptr inbounds i32, i32* %2, i64 7
%192 = load i32, i32* %191
%193 = getelementptr inbounds i32, i32* %2, i64 8
%194 = load i32, i32* %193
%195 = getelementptr inbounds i32, i32* %2, i64 9
%196 = load i32, i32* %195
%197 = getelementptr inbounds i32, i32* %2, i64 10
%198 = load i32, i32* %197
%199 = getelementptr inbounds i32, i32* %2, i64 11
%200 = load i32, i32* %199
%201 = getelementptr inbounds i32, i32* %2, i64 12
%202 = load i32, i32* %201
%203 = getelementptr inbounds i32, i32* %2, i64 13
%204 = load i32, i32* %203
%205 = getelementptr inbounds i32, i32* %2, i64 14
%206 = load i32, i32* %205
%207 = getelementptr inbounds i32, i32* %2, i64 15
%208 = load i32, i32* %207
%209 = getelementptr inbounds i32, i32* %2, i64 16
%210 = load i32, i32* %209
%211 = getelementptr inbounds i32, i32* %2, i64 17
%212 = load i32, i32* %211
%213 = getelementptr inbounds i32, i32* %2, i64 18
%214 = load i32, i32* %213
%215 = getelementptr inbounds i32, i32* %2, i64 19
%216 = load i32, i32* %215
%217 = getelementptr inbounds i32, i32* %2, i64 20
%218 = load i32, i32* %217
%219 = getelementptr inbounds i32, i32* %2, i64 21
%220 = load i32, i32* %219
%221 = getelementptr inbounds i32, i32* %2, i64 22
%222 = load i32, i32* %221
%223 = getelementptr inbounds i32, i32* %2, i64 23
%224 = load i32, i32* %223
%225 = getelementptr inbounds i32, i32* %2, i64 24
%226 = load i32, i32* %225
%227 = getelementptr inbounds i32, i32* %2, i64 25
%228 = load i32, i32* %227
%229 = getelementptr inbounds i32, i32* %2, i64 26
%230 = load i32, i32* %229
%231 = getelementptr inbounds i32, i32* %2, i64 27
%232 = load i32, i32* %231
%233 = getelementptr inbounds i32, i32* %2, i64 28
%234 = load i32, i32* %233
%235 = getelementptr inbounds i32, i32* %2, i64 29
%236 = load i32, i32* %235
%237 = getelementptr inbounds i32, i32* %2, i64 30
%238 = load i32, i32* %237
%239 = getelementptr inbounds i32, i32* %2, i64 31
%240 = load i32, i32* %239
%241 = getelementptr inbounds i32, i32* %2, i64 32
%242 = load i32, i32* %241
%243 = getelementptr inbounds i32, i32* %2, i64 33
%244 = load i32, i32* %243
%245 = getelementptr inbounds i32, i32* %2, i64 34
%246 = load i32, i32* %245
%247 = getelementptr inbounds i32, i32* %2, i64 35
%248 = load i32, i32* %247
%249 = getelementptr inbounds i32, i32* %2, i64 36
%250 = load i32, i32* %249
%251 = tail call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([123 x i8], [123 x i8]* @.str.3, i64 0, i64 0), i64 %0, i64 %177, i32 %178, i32 %180, i32 %182, i32 %184, i32 %186, i32 %188, i32 %190, i32 %192, i32 %194, i32 %196, i32 %198, i32 %200, i32 %202, i32 %204, i32 %206, i32 %208, i32 %210, i32 %212, i32 %214, i32 %216, i32 %218, i32 %220, i32 %222, i32 %224, i32 %226, i32 %228, i32 %230, i32 %232, i32 %234, i32 %236, i32 %238, i32 %240, i32 %242, i32 %244, i32 %246, i32 %248, i32 %250)
br label %744
252: ; preds = %3
%253 = udiv i64 %5, 1000
%254 = load i32, i32* %2
%255 = getelementptr inbounds i32, i32* %2, i64 1
%256 = load i32, i32* %255
%257 = getelementptr inbounds i32, i32* %2, i64 2
%258 = load i32, i32* %257
%259 = getelementptr inbounds i32, i32* %2, i64 3
%260 = load i32, i32* %259
%261 = getelementptr inbounds i32, i32* %2, i64 4
%262 = load i32, i32* %261
%263 = getelementptr inbounds i32, i32* %2, i64 5
%264 = load i32, i32* %263
%265 = getelementptr inbounds i32, i32* %2, i64 6
%266 = load i32, i32* %265
%267 = getelementptr inbounds i32, i32* %2, i64 7
%268 = load i32, i32* %267
%269 = getelementptr inbounds i32, i32* %2, i64 8
%270 = load i32, i32* %269
%271 = getelementptr inbounds i32, i32* %2, i64 9
%272 = load i32, i32* %271
%273 = getelementptr inbounds i32, i32* %2, i64 10
%274 = load i32, i32* %273
%275 = getelementptr inbounds i32, i32* %2, i64 11
%276 = load i32, i32* %275
%277 = getelementptr inbounds i32, i32* %2, i64 12
%278 = load i32, i32* %277
%279 = getelementptr inbounds i32, i32* %2, i64 13
%280 = load i32, i32* %279
%281 = getelementptr inbounds i32, i32* %2, i64 14
%282 = load i32, i32* %281
%283 = getelementptr inbounds i32, i32* %2, i64 15
%284 = load i32, i32* %283
%285 = getelementptr inbounds i32, i32* %2, i64 16
%286 = load i32, i32* %285
%287 = getelementptr inbounds i32, i32* %2, i64 17
%288 = load i32, i32* %287
%289 = getelementptr inbounds i32, i32* %2, i64 18
%290 = load i32, i32* %289
%291 = getelementptr inbounds i32, i32* %2, i64 19
%292 = load i32, i32* %291
%293 = getelementptr inbounds i32, i32* %2, i64 20
%294 = load i32, i32* %293
%295 = getelementptr inbounds i32, i32* %2, i64 21
%296 = load i32, i32* %295
%297 = getelementptr inbounds i32, i32* %2, i64 22
%298 = load i32, i32* %297
%299 = getelementptr inbounds i32, i32* %2, i64 23
%300 = load i32, i32* %299
%301 = getelementptr inbounds i32, i32* %2, i64 24
%302 = load i32, i32* %301
%303 = getelementptr inbounds i32, i32* %2, i64 25
%304 = load i32, i32* %303
%305 = getelementptr inbounds i32, i32* %2, i64 26
%306 = load i32, i32* %305
%307 = getelementptr inbounds i32, i32* %2, i64 27
%308 = load i32, i32* %307
%309 = getelementptr inbounds i32, i32* %2, i64 28
%310 = load i32, i32* %309
%311 = getelementptr inbounds i32, i32* %2, i64 29
%312 = load i32, i32* %311
%313 = getelementptr inbounds i32, i32* %2, i64 30
%314 = load i32, i32* %313
%315 = getelementptr inbounds i32, i32* %2, i64 31
%316 = load i32, i32* %315
%317 = getelementptr inbounds i32, i32* %2, i64 32
%318 = load i32, i32* %317
%319 = getelementptr inbounds i32, i32* %2, i64 33
%320 = load i32, i32* %319
%321 = getelementptr inbounds i32, i32* %2, i64 34
%322 = load i32, i32* %321
%323 = getelementptr inbounds i32, i32* %2, i64 35
%324 = load i32, i32* %323
%325 = getelementptr inbounds i32, i32* %2, i64 36
%326 = load i32, i32* %325
%327 = getelementptr inbounds i32, i32* %2, i64 37
%328 = load i32, i32* %327
%329 = getelementptr inbounds i32, i32* %2, i64 38
%330 = load i32, i32* %329
%331 = getelementptr inbounds i32, i32* %2, i64 39
%332 = load i32, i32* %331
%333 = getelementptr inbounds i32, i32* %2, i64 40
%334 = load i32, i32* %333
%335 = getelementptr inbounds i32, i32* %2, i64 41
%336 = load i32, i32* %335
%337 = getelementptr inbounds i32, i32* %2, i64 42
%338 = load i32, i32* %337
%339 = getelementptr inbounds i32, i32* %2, i64 43
%340 = load i32, i32* %339
%341 = tail call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([144 x i8], [144 x i8]* @.str.4, i64 0, i64 0), i64 %0, i64 %253, i32 %254, i32 %256, i32 %258, i32 %260, i32 %262, i32 %264, i32 %266, i32 %268, i32 %270, i32 %272, i32 %274, i32 %276, i32 %278, i32 %280, i32 %282, i32 %284, i32 %286, i32 %288, i32 %290, i32 %292, i32 %294, i32 %296, i32 %298, i32 %300, i32 %302, i32 %304, i32 %306, i32 %308, i32 %310, i32 %312, i32 %314, i32 %316, i32 %318, i32 %320, i32 %322, i32 %324, i32 %326, i32 %328, i32 %330, i32 %332, i32 %334, i32 %336, i32 %338, i32 %340)
br label %744
342: ; preds = %3
%343 = udiv i64 %5, 1000
%344 = load i32, i32* %2
%345 = getelementptr inbounds i32, i32* %2, i64 1
%346 = load i32, i32* %345
%347 = getelementptr inbounds i32, i32* %2, i64 2
%348 = load i32, i32* %347
%349 = getelementptr inbounds i32, i32* %2, i64 3
%350 = load i32, i32* %349
%351 = getelementptr inbounds i32, i32* %2, i64 4
%352 = load i32, i32* %351
%353 = getelementptr inbounds i32, i32* %2, i64 5
%354 = load i32, i32* %353
%355 = getelementptr inbounds i32, i32* %2, i64 6
%356 = load i32, i32* %355
%357 = getelementptr inbounds i32, i32* %2, i64 7
%358 = load i32, i32* %357
%359 = getelementptr inbounds i32, i32* %2, i64 8
%360 = load i32, i32* %359
%361 = getelementptr inbounds i32, i32* %2, i64 9
%362 = load i32, i32* %361
%363 = getelementptr inbounds i32, i32* %2, i64 10
%364 = load i32, i32* %363
%365 = getelementptr inbounds i32, i32* %2, i64 11
%366 = load i32, i32* %365
%367 = getelementptr inbounds i32, i32* %2, i64 12
%368 = load i32, i32* %367
%369 = getelementptr inbounds i32, i32* %2, i64 13
%370 = load i32, i32* %369
%371 = getelementptr inbounds i32, i32* %2, i64 14
%372 = load i32, i32* %371
%373 = getelementptr inbounds i32, i32* %2, i64 15
%374 = load i32, i32* %373
%375 = getelementptr inbounds i32, i32* %2, i64 16
%376 = load i32, i32* %375
%377 = getelementptr inbounds i32, i32* %2, i64 17
%378 = load i32, i32* %377
%379 = getelementptr inbounds i32, i32* %2, i64 18
%380 = load i32, i32* %379
%381 = getelementptr inbounds i32, i32* %2, i64 19
%382 = load i32, i32* %381
%383 = getelementptr inbounds i32, i32* %2, i64 20
%384 = load i32, i32* %383
%385 = getelementptr inbounds i32, i32* %2, i64 21
%386 = load i32, i32* %385
%387 = getelementptr inbounds i32, i32* %2, i64 22
%388 = load i32, i32* %387
%389 = getelementptr inbounds i32, i32* %2, i64 23
%390 = load i32, i32* %389
%391 = getelementptr inbounds i32, i32* %2, i64 24
%392 = load i32, i32* %391
%393 = getelementptr inbounds i32, i32* %2, i64 25
%394 = load i32, i32* %393
%395 = getelementptr inbounds i32, i32* %2, i64 26
%396 = load i32, i32* %395
%397 = getelementptr inbounds i32, i32* %2, i64 27
%398 = load i32, i32* %397
%399 = getelementptr inbounds i32, i32* %2, i64 28
%400 = load i32, i32* %399
%401 = getelementptr inbounds i32, i32* %2, i64 29
%402 = load i32, i32* %401
%403 = getelementptr inbounds i32, i32* %2, i64 30
%404 = load i32, i32* %403
%405 = getelementptr inbounds i32, i32* %2, i64 31
%406 = load i32, i32* %405
%407 = getelementptr inbounds i32, i32* %2, i64 32
%408 = load i32, i32* %407
%409 = getelementptr inbounds i32, i32* %2, i64 33
%410 = load i32, i32* %409
%411 = getelementptr inbounds i32, i32* %2, i64 34
%412 = load i32, i32* %411
%413 = getelementptr inbounds i32, i32* %2, i64 35
%414 = load i32, i32* %413
%415 = getelementptr inbounds i32, i32* %2, i64 36
%416 = load i32, i32* %415
%417 = getelementptr inbounds i32, i32* %2, i64 37
%418 = load i32, i32* %417
%419 = getelementptr inbounds i32, i32* %2, i64 38
%420 = load i32, i32* %419
%421 = getelementptr inbounds i32, i32* %2, i64 39
%422 = load i32, i32* %421
%423 = getelementptr inbounds i32, i32* %2, i64 40
%424 = load i32, i32* %423
%425 = getelementptr inbounds i32, i32* %2, i64 41
%426 = load i32, i32* %425
%427 = getelementptr inbounds i32, i32* %2, i64 42
%428 = load i32, i32* %427
%429 = getelementptr inbounds i32, i32* %2, i64 43
%430 = load i32, i32* %429
%431 = getelementptr inbounds i32, i32* %2, i64 44
%432 = load i32, i32* %431
%433 = getelementptr inbounds i32, i32* %2, i64 45
%434 = load i32, i32* %433
%435 = getelementptr inbounds i32, i32* %2, i64 46
%436 = load i32, i32* %435
%437 = getelementptr inbounds i32, i32* %2, i64 47
%438 = load i32, i32* %437
%439 = getelementptr inbounds i32, i32* %2, i64 48
%440 = load i32, i32* %439
%441 = getelementptr inbounds i32, i32* %2, i64 49
%442 = load i32, i32* %441
%443 = tail call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([162 x i8], [162 x i8]* @.str.5, i64 0, i64 0), i64 %0, i64 %343, i32 %344, i32 %346, i32 %348, i32 %350, i32 %352, i32 %354, i32 %356, i32 %358, i32 %360, i32 %362, i32 %364, i32 %366, i32 %368, i32 %370, i32 %372, i32 %374, i32 %376, i32 %378, i32 %380, i32 %382, i32 %384, i32 %386, i32 %388, i32 %390, i32 %392, i32 %394, i32 %396, i32 %398, i32 %400, i32 %402, i32 %404, i32 %406, i32 %408, i32 %410, i32 %412, i32 %414, i32 %416, i32 %418, i32 %420, i32 %422, i32 %424, i32 %426, i32 %428, i32 %430, i32 %432, i32 %434, i32 %436, i32 %438, i32 %440, i32 %442)
br label %744
444: ; preds = %3
%445 = udiv i64 %5, 1000
%446 = load i32, i32* %2
%447 = getelementptr inbounds i32, i32* %2, i64 1
%448 = load i32, i32* %447
%449 = getelementptr inbounds i32, i32* %2, i64 2
%450 = load i32, i32* %449
%451 = getelementptr inbounds i32, i32* %2, i64 3
%452 = load i32, i32* %451
%453 = getelementptr inbounds i32, i32* %2, i64 4
%454 = load i32, i32* %453
%455 = getelementptr inbounds i32, i32* %2, i64 5
%456 = load i32, i32* %455
%457 = getelementptr inbounds i32, i32* %2, i64 6
%458 = load i32, i32* %457
%459 = getelementptr inbounds i32, i32* %2, i64 7
%460 = load i32, i32* %459
%461 = getelementptr inbounds i32, i32* %2, i64 8
%462 = load i32, i32* %461
%463 = getelementptr inbounds i32, i32* %2, i64 9
%464 = load i32, i32* %463
%465 = getelementptr inbounds i32, i32* %2, i64 10
%466 = load i32, i32* %465
%467 = getelementptr inbounds i32, i32* %2, i64 11
%468 = load i32, i32* %467
%469 = getelementptr inbounds i32, i32* %2, i64 12
%470 = load i32, i32* %469
%471 = getelementptr inbounds i32, i32* %2, i64 13
%472 = load i32, i32* %471
%473 = getelementptr inbounds i32, i32* %2, i64 14
%474 = load i32, i32* %473
%475 = getelementptr inbounds i32, i32* %2, i64 15
%476 = load i32, i32* %475
%477 = getelementptr inbounds i32, i32* %2, i64 16
%478 = load i32, i32* %477
%479 = getelementptr inbounds i32, i32* %2, i64 17
%480 = load i32, i32* %479
%481 = getelementptr inbounds i32, i32* %2, i64 18
%482 = load i32, i32* %481
%483 = getelementptr inbounds i32, i32* %2, i64 19
%484 = load i32, i32* %483
%485 = getelementptr inbounds i32, i32* %2, i64 20
%486 = load i32, i32* %485
%487 = getelementptr inbounds i32, i32* %2, i64 21
%488 = load i32, i32* %487
%489 = getelementptr inbounds i32, i32* %2, i64 22
%490 = load i32, i32* %489
%491 = getelementptr inbounds i32, i32* %2, i64 23
%492 = load i32, i32* %491
%493 = getelementptr inbounds i32, i32* %2, i64 24
%494 = load i32, i32* %493
%495 = getelementptr inbounds i32, i32* %2, i64 25
%496 = load i32, i32* %495
%497 = getelementptr inbounds i32, i32* %2, i64 26
%498 = load i32, i32* %497
%499 = getelementptr inbounds i32, i32* %2, i64 27
%500 = load i32, i32* %499
%501 = getelementptr inbounds i32, i32* %2, i64 28
%502 = load i32, i32* %501
%503 = getelementptr inbounds i32, i32* %2, i64 29
%504 = load i32, i32* %503
%505 = getelementptr inbounds i32, i32* %2, i64 30
%506 = load i32, i32* %505
%507 = getelementptr inbounds i32, i32* %2, i64 31
%508 = load i32, i32* %507
%509 = getelementptr inbounds i32, i32* %2, i64 32
%510 = load i32, i32* %509
%511 = getelementptr inbounds i32, i32* %2, i64 33
%512 = load i32, i32* %511
%513 = getelementptr inbounds i32, i32* %2, i64 34
%514 = load i32, i32* %513
%515 = getelementptr inbounds i32, i32* %2, i64 35
%516 = load i32, i32* %515
%517 = getelementptr inbounds i32, i32* %2, i64 36
%518 = load i32, i32* %517
%519 = getelementptr inbounds i32, i32* %2, i64 37
%520 = load i32, i32* %519
%521 = getelementptr inbounds i32, i32* %2, i64 38
%522 = load i32, i32* %521
%523 = getelementptr inbounds i32, i32* %2, i64 39
%524 = load i32, i32* %523
%525 = getelementptr inbounds i32, i32* %2, i64 40
%526 = load i32, i32* %525
%527 = getelementptr inbounds i32, i32* %2, i64 41
%528 = load i32, i32* %527
%529 = getelementptr inbounds i32, i32* %2, i64 42
%530 = load i32, i32* %529
%531 = getelementptr inbounds i32, i32* %2, i64 43
%532 = load i32, i32* %531
%533 = getelementptr inbounds i32, i32* %2, i64 44
%534 = load i32, i32* %533
%535 = getelementptr inbounds i32, i32* %2, i64 45
%536 = load i32, i32* %535
%537 = getelementptr inbounds i32, i32* %2, i64 46
%538 = load i32, i32* %537
%539 = getelementptr inbounds i32, i32* %2, i64 47
%540 = load i32, i32* %539
%541 = getelementptr inbounds i32, i32* %2, i64 48
%542 = load i32, i32* %541
%543 = getelementptr inbounds i32, i32* %2, i64 49
%544 = load i32, i32* %543
%545 = getelementptr inbounds i32, i32* %2, i64 50
%546 = load i32, i32* %545
%547 = getelementptr inbounds i32, i32* %2, i64 51
%548 = load i32, i32* %547
%549 = getelementptr inbounds i32, i32* %2, i64 52
%550 = load i32, i32* %549
%551 = getelementptr inbounds i32, i32* %2, i64 53
%552 = load i32, i32* %551
%553 = getelementptr inbounds i32, i32* %2, i64 54
%554 = load i32, i32* %553
%555 = getelementptr inbounds i32, i32* %2, i64 55
%556 = load i32, i32* %555
%557 = getelementptr inbounds i32, i32* %2, i64 56
%558 = load i32, i32* %557
%559 = getelementptr inbounds i32, i32* %2, i64 57
%560 = load i32, i32* %559
%561 = getelementptr inbounds i32, i32* %2, i64 58
%562 = load i32, i32* %561
%563 = getelementptr inbounds i32, i32* %2, i64 59
%564 = load i32, i32* %563
%565 = getelementptr inbounds i32, i32* %2, i64 60
%566 = load i32, i32* %565
%567 = getelementptr inbounds i32, i32* %2, i64 61
%568 = load i32, i32* %567
%569 = getelementptr inbounds i32, i32* %2, i64 62
%570 = load i32, i32* %569
%571 = getelementptr inbounds i32, i32* %2, i64 63
%572 = load i32, i32* %571
%573 = getelementptr inbounds i32, i32* %2, i64 64
%574 = load i32, i32* %573
%575 = getelementptr inbounds i32, i32* %2, i64 65
%576 = load i32, i32* %575
%577 = tail call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([210 x i8], [210 x i8]* @.str.6, i64 0, i64 0), i64 %0, i64 %445, i32 %446, i32 %448, i32 %450, i32 %452, i32 %454, i32 %456, i32 %458, i32 %460, i32 %462, i32 %464, i32 %466, i32 %468, i32 %470, i32 %472, i32 %474, i32 %476, i32 %478, i32 %480, i32 %482, i32 %484, i32 %486, i32 %488, i32 %490, i32 %492, i32 %494, i32 %496, i32 %498, i32 %500, i32 %502, i32 %504, i32 %506, i32 %508, i32 %510, i32 %512, i32 %514, i32 %516, i32 %518, i32 %520, i32 %522, i32 %524, i32 %526, i32 %528, i32 %530, i32 %532, i32 %534, i32 %536, i32 %538, i32 %540, i32 %542, i32 %544, i32 %546, i32 %548, i32 %550, i32 %552, i32 %554, i32 %556, i32 %558, i32 %560, i32 %562, i32 %564, i32 %566, i32 %568, i32 %570, i32 %572, i32 %574, i32 %576)
br label %744
578: ; preds = %3
%579 = udiv i64 %5, 1000
%580 = load i32, i32* %2
%581 = getelementptr inbounds i32, i32* %2, i64 1
%582 = load i32, i32* %581
%583 = getelementptr inbounds i32, i32* %2, i64 2
%584 = load i32, i32* %583
%585 = getelementptr inbounds i32, i32* %2, i64 3
%586 = load i32, i32* %585
%587 = getelementptr inbounds i32, i32* %2, i64 4
%588 = load i32, i32* %587
%589 = getelementptr inbounds i32, i32* %2, i64 5
%590 = load i32, i32* %589
%591 = getelementptr inbounds i32, i32* %2, i64 6
%592 = load i32, i32* %591
%593 = getelementptr inbounds i32, i32* %2, i64 7
%594 = load i32, i32* %593
%595 = getelementptr inbounds i32, i32* %2, i64 8
%596 = load i32, i32* %595
%597 = getelementptr inbounds i32, i32* %2, i64 9
%598 = load i32, i32* %597
%599 = getelementptr inbounds i32, i32* %2, i64 10
%600 = load i32, i32* %599
%601 = getelementptr inbounds i32, i32* %2, i64 11
%602 = load i32, i32* %601
%603 = getelementptr inbounds i32, i32* %2, i64 12
%604 = load i32, i32* %603
%605 = getelementptr inbounds i32, i32* %2, i64 13
%606 = load i32, i32* %605
%607 = getelementptr inbounds i32, i32* %2, i64 14
%608 = load i32, i32* %607
%609 = getelementptr inbounds i32, i32* %2, i64 15
%610 = load i32, i32* %609
%611 = getelementptr inbounds i32, i32* %2, i64 16
%612 = load i32, i32* %611
%613 = getelementptr inbounds i32, i32* %2, i64 17
%614 = load i32, i32* %613
%615 = getelementptr inbounds i32, i32* %2, i64 18
%616 = load i32, i32* %615
%617 = getelementptr inbounds i32, i32* %2, i64 19
%618 = load i32, i32* %617
%619 = getelementptr inbounds i32, i32* %2, i64 20
%620 = load i32, i32* %619
%621 = getelementptr inbounds i32, i32* %2, i64 21
%622 = load i32, i32* %621
%623 = getelementptr inbounds i32, i32* %2, i64 22
%624 = load i32, i32* %623
%625 = getelementptr inbounds i32, i32* %2, i64 23
%626 = load i32, i32* %625
%627 = getelementptr inbounds i32, i32* %2, i64 24
%628 = load i32, i32* %627
%629 = getelementptr inbounds i32, i32* %2, i64 25
%630 = load i32, i32* %629
%631 = getelementptr inbounds i32, i32* %2, i64 26
%632 = load i32, i32* %631
%633 = getelementptr inbounds i32, i32* %2, i64 27
%634 = load i32, i32* %633
%635 = getelementptr inbounds i32, i32* %2, i64 28
%636 = load i32, i32* %635
%637 = getelementptr inbounds i32, i32* %2, i64 29
%638 = load i32, i32* %637
%639 = getelementptr inbounds i32, i32* %2, i64 30
%640 = load i32, i32* %639
%641 = getelementptr inbounds i32, i32* %2, i64 31
%642 = load i32, i32* %641
%643 = getelementptr inbounds i32, i32* %2, i64 32
%644 = load i32, i32* %643
%645 = getelementptr inbounds i32, i32* %2, i64 33
%646 = load i32, i32* %645
%647 = getelementptr inbounds i32, i32* %2, i64 34
%648 = load i32, i32* %647
%649 = getelementptr inbounds i32, i32* %2, i64 35
%650 = load i32, i32* %649
%651 = getelementptr inbounds i32, i32* %2, i64 36
%652 = load i32, i32* %651
%653 = getelementptr inbounds i32, i32* %2, i64 37
%654 = load i32, i32* %653
%655 = getelementptr inbounds i32, i32* %2, i64 38
%656 = load i32, i32* %655
%657 = getelementptr inbounds i32, i32* %2, i64 39
%658 = load i32, i32* %657
%659 = getelementptr inbounds i32, i32* %2, i64 40
%660 = load i32, i32* %659
%661 = getelementptr inbounds i32, i32* %2, i64 41
%662 = load i32, i32* %661
%663 = getelementptr inbounds i32, i32* %2, i64 42
%664 = load i32, i32* %663
%665 = getelementptr inbounds i32, i32* %2, i64 43
%666 = load i32, i32* %665
%667 = getelementptr inbounds i32, i32* %2, i64 44
%668 = load i32, i32* %667
%669 = getelementptr inbounds i32, i32* %2, i64 45
%670 = load i32, i32* %669
%671 = getelementptr inbounds i32, i32* %2, i64 46
%672 = load i32, i32* %671
%673 = getelementptr inbounds i32, i32* %2, i64 47
%674 = load i32, i32* %673
%675 = getelementptr inbounds i32, i32* %2, i64 48
%676 = load i32, i32* %675
%677 = getelementptr inbounds i32, i32* %2, i64 49
%678 = load i32, i32* %677
%679 = getelementptr inbounds i32, i32* %2, i64 50
%680 = load i32, i32* %679
%681 = getelementptr inbounds i32, i32* %2, i64 51
%682 = load i32, i32* %681
%683 = getelementptr inbounds i32, i32* %2, i64 52
%684 = load i32, i32* %683
%685 = getelementptr inbounds i32, i32* %2, i64 53
%686 = load i32, i32* %685
%687 = getelementptr inbounds i32, i32* %2, i64 54
%688 = load i32, i32* %687
%689 = getelementptr inbounds i32, i32* %2, i64 55
%690 = load i32, i32* %689
%691 = getelementptr inbounds i32, i32* %2, i64 56
%692 = load i32, i32* %691
%693 = getelementptr inbounds i32, i32* %2, i64 57
%694 = load i32, i32* %693
%695 = getelementptr inbounds i32, i32* %2, i64 58
%696 = load i32, i32* %695
%697 = getelementptr inbounds i32, i32* %2, i64 59
%698 = load i32, i32* %697
%699 = getelementptr inbounds i32, i32* %2, i64 60
%700 = load i32, i32* %699
%701 = getelementptr inbounds i32, i32* %2, i64 61
%702 = load i32, i32* %701
%703 = getelementptr inbounds i32, i32* %2, i64 62
%704 = load i32, i32* %703
%705 = getelementptr inbounds i32, i32* %2, i64 63
%706 = load i32, i32* %705
%707 = getelementptr inbounds i32, i32* %2, i64 64
%708 = load i32, i32* %707
%709 = getelementptr inbounds i32, i32* %2, i64 65
%710 = load i32, i32* %709
%711 = getelementptr inbounds i32, i32* %2, i64 66
%712 = load i32, i32* %711
%713 = getelementptr inbounds i32, i32* %2, i64 67
%714 = load i32, i32* %713
%715 = getelementptr inbounds i32, i32* %2, i64 68
%716 = load i32, i32* %715
%717 = getelementptr inbounds i32, i32* %2, i64 69
%718 = load i32, i32* %717
%719 = getelementptr inbounds i32, i32* %2, i64 70
%720 = load i32, i32* %719
%721 = getelementptr inbounds i32, i32* %2, i64 71
%722 = load i32, i32* %721
%723 = getelementptr inbounds i32, i32* %2, i64 72
%724 = load i32, i32* %723
%725 = getelementptr inbounds i32, i32* %2, i64 73
%726 = load i32, i32* %725
%727 = getelementptr inbounds i32, i32* %2, i64 74
%728 = load i32, i32* %727
%729 = getelementptr inbounds i32, i32* %2, i64 75
%730 = load i32, i32* %729
%731 = getelementptr inbounds i32, i32* %2, i64 76
%732 = load i32, i32* %731
%733 = getelementptr inbounds i32, i32* %2, i64 77
%734 = load i32, i32* %733
%735 = getelementptr inbounds i32, i32* %2, i64 78
%736 = load i32, i32* %735
%737 = getelementptr inbounds i32, i32* %2, i64 79
%738 = load i32, i32* %737
%739 = getelementptr inbounds i32, i32* %2, i64 80
%740 = load i32, i32* %739
%741 = getelementptr inbounds i32, i32* %2, i64 81
%742 = load i32, i32* %741
%743 = tail call i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...) bitcast (i32 (...)* @trace_printk to i32 (i8*, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ...)*)(i8* getelementptr inbounds ([258 x i8], [258 x i8]* @.str.7, i64 0, i64 0), i64 %0, i64 %579, i32 %580, i32 %582, i32 %584, i32 %586, i32 %588, i32 %590, i32 %592, i32 %594, i32 %596, i32 %598, i32 %600, i32 %602, i32 %604, i32 %606, i32 %608, i32 %610, i32 %612, i32 %614, i32 %616, i32 %618, i32 %620, i32 %622, i32 %624, i32 %626, i32 %628, i32 %630, i32 %632, i32 %634, i32 %636, i32 %638, i32 %640, i32 %642, i32 %644, i32 %646, i32 %648, i32 %650, i32 %652, i32 %654, i32 %656, i32 %658, i32 %660, i32 %662, i32 %664, i32 %666, i32 %668, i32 %670, i32 %672, i32 %674, i32 %676, i32 %678, i32 %680, i32 %682, i32 %684, i32 %686, i32 %688, i32 %690, i32 %692, i32 %694, i32 %696, i32 %698, i32 %700, i32 %702, i32 %704, i32 %706, i32 %708, i32 %710, i32 %712, i32 %714, i32 %716, i32 %718, i32 %720, i32 %722, i32 %724, i32 %726, i32 %728, i32 %730, i32 %732, i32 %734, i32 %736, i32 %738, i32 %740, i32 %742)
br label %744
744: ; preds = %3, %578, %444, %342, %252, %176, %106, %44, %6
ret void
}