user: 这段汇编代码用C语言表示是什么样的：

```asm
<main>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0xa8,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x98(%rsp)
  xor    %eax,%eax
L113:
  mov    %eax,0x10(%rsp,%rax,4)
  add    $0x1,%rax
  cmp    $0x10,%rax
  jne    L113
  lea    D86(%rip),%rdi
  call   <puts@plt>
  movl   $0x0,0xc(%rsp)
  lea    D162(%rip),%r15
  lea    D215(%rip),%r14
  lea    D151(%rip),%r13
  jmp    L22
L116:
  mov    0x30(%rsp),%eax
  mov    %eax,0x50(%rsp)
  mov    0x3c(%rsp),%eax
  mov    %eax,0x54(%rsp)
  mov    0x40(%rsp),%eax
  mov    %eax,0x58(%rsp)
  mov    0x4c(%rsp),%eax
  mov    %eax,0x5c(%rsp)
  mov    0x18(%rsp),%eax
  mov    %eax,0x60(%rsp)
  mov    0x14(%rsp),%eax
  mov    %eax,0x64(%rsp)
  mov    0x28(%rsp),%eax
  mov    %eax,0x68(%rsp)
  mov    0x24(%rsp),%eax
  mov    %eax,0x6c(%rsp)
  mov    0x38(%rsp),%eax
  mov    %eax,0x70(%rsp)
  mov    0x34(%rsp),%eax
  mov    %eax,0x74(%rsp)
  mov    0x48(%rsp),%eax
  mov    %eax,0x78(%rsp)
  mov    0x44(%rsp),%eax
  mov    %eax,0x7c(%rsp)
  mov    0x10(%rsp),%eax
  mov    %eax,0x80(%rsp)
  mov    0x2c(%rsp),%eax
  mov    %eax,0x84(%rsp)
  mov    0x20(%rsp),%eax
  mov    %eax,0x88(%rsp)
  mov    0x1c(%rsp),%eax
  mov    %eax,0x8c(%rsp)
  lea    0x50(%rsp),%rsi
  lea    0x10(%rsp),%rdi
  mov    $0x40,%edx
  call   <memcpy@plt>
L103:
  add    $0x1,%ebp
L216:
  mov    0x14(%rsp),%ecx
  mov    0x10(%rsp),%esi
  mov    %ecx,%r9d
  mov    %esi,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x18(%rsp),%esi
  mov    0x1c(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x20(%rsp),%esi
  mov    0x24(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x28(%rsp),%esi
  mov    0x2c(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x30(%rsp),%esi
  mov    0x34(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x38(%rsp),%esi
  mov    0x3c(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x40(%rsp),%esi
  mov    0x44(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x48(%rsp),%esi
  mov    0x4c(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x1(%rbp),%eax
  cmp    $0x2,%eax
  jle    L116
  cmp    $0x3,%ebp
  jle    L103
  addl   $0x2,0xc(%rsp)
  mov    0xc(%rsp),%eax
  cmp    $0x10,%eax
  je     L50
L22:
  mov    0xc(%rsp),%eax
  mov    %eax,%r12d
  lea    0x1(%rax),%ebp
  mov    $0x0,%ebx
L12:
  mov    0x10(%rsp,%rbx,4),%esi
  mov    %rbx,%rax
  and    $0x3,%eax
  movsbl (%r14,%rax,1),%edx
  push   %rbx
  push   %rbp
  movsbl 0x0(%r13,%rax,1),%ecx
  push   %rcx
  push   %rbx
  mov    %r12d,%r9d
  movsbl (%r15,%rax,1),%r8d
  mov    %esi,%ecx
  lea    D303(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  add    $0x1,%rbx
  add    $0x20,%rsp
  cmp    $0x10,%rbx
  jne    L12
  mov    $0x1,%ebp
  lea    D56(%rip),%rbx
  jmp    L216
L50:
  lea    D289(%rip),%rdi
  call   <puts@plt>
  mov    $0x0,%ebx
  lea    D162(%rip),%r12
  lea    D79(%rip),%rbp
L165:
  mov    %ebx,%esi
  mov    %rbx,%rax
  and    $0x3,%eax
  movsbl (%r12,%rax,1),%ecx
  mov    0x10(%rsp,%rbx,4),%edx
  mov    %ebx,%r8d
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  add    $0x1,%rbx
  cmp    $0x10,%rbx
  jne    L165
  lea    D232(%rip),%rdi
  call   <puts@plt>
  lea    D251(%rip),%rdi
  call   <puts@plt>
  lea    D162(%rip),%r14
  lea    D215(%rip),%r13
  lea    D151(%rip),%r12
  lea    D303(%rip),%r15
  jmp    L95
L56:
  cmp    $0x3,%ebp
  jle    L122
  addl   $0x2,0xc(%rsp)
  mov    0xc(%rsp),%eax
  cmp    $0x18,%eax
  je     L29
L95:
  mov    0xc(%rsp),%eax
  mov    %eax,0x8(%rsp)
  lea    0x1(%rax),%ebp
  mov    $0x0,%ebx
L168:
  mov    0x10(%rsp,%rbx,4),%esi
  mov    %rbx,%rax
  and    $0x3,%eax
  movsbl 0x0(%r13,%rax,1),%edx
  push   %rbx
  push   %rbp
  movsbl (%r12,%rax,1),%ecx
  push   %rcx
  push   %rbx
  mov    0x28(%rsp),%r9d
  movsbl (%r14,%rax,1),%r8d
  mov    %esi,%ecx
  mov    %r15,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  add    $0x1,%rbx
  add    $0x20,%rsp
  cmp    $0x10,%rbx
  jne    L168
  mov    $0x1,%ebp
  lea    D56(%rip),%rbx
  jmp    L197
L122:
  add    $0x1,%ebp
L197:
  mov    0x14(%rsp),%ecx
  mov    0x10(%rsp),%esi
  mov    %ecx,%r9d
  mov    %esi,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x18(%rsp),%esi
  mov    0x1c(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x20(%rsp),%esi
  mov    0x24(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x28(%rsp),%esi
  mov    0x2c(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x30(%rsp),%esi
  mov    0x34(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x38(%rsp),%esi
  mov    0x3c(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x40(%rsp),%esi
  mov    0x44(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x48(%rsp),%esi
  mov    0x4c(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x1(%rbp),%eax
  cmp    $0x2,%eax
  jg     L56
  mov    0x30(%rsp),%eax
  mov    %eax,0x50(%rsp)
  mov    0x3c(%rsp),%eax
  mov    %eax,0x54(%rsp)
  mov    0x40(%rsp),%eax
  mov    %eax,0x58(%rsp)
  mov    0x4c(%rsp),%eax
  mov    %eax,0x5c(%rsp)
  mov    0x18(%rsp),%eax
  mov    %eax,0x60(%rsp)
  mov    0x14(%rsp),%eax
  mov    %eax,0x64(%rsp)
  mov    0x28(%rsp),%eax
  mov    %eax,0x68(%rsp)
  mov    0x24(%rsp),%eax
  mov    %eax,0x6c(%rsp)
  mov    0x38(%rsp),%eax
  mov    %eax,0x70(%rsp)
  mov    0x34(%rsp),%eax
  mov    %eax,0x74(%rsp)
  mov    0x48(%rsp),%eax
  mov    %eax,0x78(%rsp)
  mov    0x44(%rsp),%eax
  mov    %eax,0x7c(%rsp)
  mov    0x10(%rsp),%eax
  mov    %eax,0x80(%rsp)
  mov    0x2c(%rsp),%eax
  mov    %eax,0x84(%rsp)
  mov    0x20(%rsp),%eax
  mov    %eax,0x88(%rsp)
  mov    0x1c(%rsp),%eax
  mov    %eax,0x8c(%rsp)
  lea    0x50(%rsp),%rsi
  lea    0x10(%rsp),%rdi
  mov    $0x40,%edx
  call   <memcpy@plt>
  jmp    L122
L29:
  lea    D217(%rip),%rdi
  call   <puts@plt>
  lea    D99(%rip),%rdi
  call   <puts@plt>
  mov    $0x0,%ebx
  lea    D162(%rip),%r12
  lea    D79(%rip),%rbp
L70:
  mov    %ebx,%esi
  mov    %rbx,%rax
  and    $0x3,%eax
  movsbl (%r12,%rax,1),%ecx
  mov    0x10(%rsp,%rbx,4),%edx
  mov    %ebx,%r8d
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  add    $0x1,%rbx
  cmp    $0x10,%rbx
  jne    L70
  lea    D232(%rip),%rdi
  call   <puts@plt>
  lea    D186(%rip),%rdi
  call   <puts@plt>
  lea    D162(%rip),%r14
  lea    D215(%rip),%r13
  lea    D151(%rip),%r12
  lea    D303(%rip),%r15
  jmp    L195
L57:
  cmp    $0x3,%ebp
  jle    L150
  addl   $0x2,0xc(%rsp)
  mov    0xc(%rsp),%eax
  cmp    $0x20,%eax
  je     L190
L195:
  mov    0xc(%rsp),%eax
  mov    %eax,0x8(%rsp)
  lea    0x1(%rax),%ebp
  mov    $0x0,%ebx
L183:
  mov    0x10(%rsp,%rbx,4),%esi
  mov    %rbx,%rax
  and    $0x3,%eax
  movsbl 0x0(%r13,%rax,1),%edx
  push   %rbx
  push   %rbp
  movsbl (%r12,%rax,1),%ecx
  push   %rcx
  push   %rbx
  mov    0x28(%rsp),%r9d
  movsbl (%r14,%rax,1),%r8d
  mov    %esi,%ecx
  mov    %r15,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  add    $0x1,%rbx
  add    $0x20,%rsp
  cmp    $0x10,%rbx
  jne    L183
  mov    $0x1,%ebp
  lea    D56(%rip),%rbx
  jmp    L173
L150:
  add    $0x1,%ebp
L173:
  mov    0x14(%rsp),%ecx
  mov    0x10(%rsp),%esi
  mov    %ecx,%r9d
  mov    %esi,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x18(%rsp),%esi
  mov    0x1c(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x20(%rsp),%esi
  mov    0x24(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x28(%rsp),%esi
  mov    0x2c(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x30(%rsp),%esi
  mov    0x34(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x38(%rsp),%esi
  mov    0x3c(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x40(%rsp),%esi
  mov    0x44(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x48(%rsp),%esi
  mov    0x4c(%rsp),%ecx
  mov    %esi,%r9d
  mov    %ecx,%r8d
  mov    %esi,%edx
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x1(%rbp),%eax
  cmp    $0x2,%eax
  jg     L57
  mov    0x30(%rsp),%eax
  mov    %eax,0x50(%rsp)
  mov    0x3c(%rsp),%eax
  mov    %eax,0x54(%rsp)
  mov    0x40(%rsp),%eax
  mov    %eax,0x58(%rsp)
  mov    0x4c(%rsp),%eax
  mov    %eax,0x5c(%rsp)
  mov    0x18(%rsp),%eax
  mov    %eax,0x60(%rsp)
  mov    0x14(%rsp),%eax
  mov    %eax,0x64(%rsp)
  mov    0x28(%rsp),%eax
  mov    %eax,0x68(%rsp)
  mov    0x24(%rsp),%eax
  mov    %eax,0x6c(%rsp)
  mov    0x38(%rsp),%eax
  mov    %eax,0x70(%rsp)
  mov    0x34(%rsp),%eax
  mov    %eax,0x74(%rsp)
  mov    0x48(%rsp),%eax
  mov    %eax,0x78(%rsp)
  mov    0x44(%rsp),%eax
  mov    %eax,0x7c(%rsp)
  mov    0x10(%rsp),%eax
  mov    %eax,0x80(%rsp)
  mov    0x2c(%rsp),%eax
  mov    %eax,0x84(%rsp)
  mov    0x20(%rsp),%eax
  mov    %eax,0x88(%rsp)
  mov    0x1c(%rsp),%eax
  mov    %eax,0x8c(%rsp)
  lea    0x50(%rsp),%rsi
  lea    0x10(%rsp),%rdi
  mov    $0x40,%edx
  call   <memcpy@plt>
  jmp    L150
L190:
  mov    $0x0,%ebx
  lea    D162(%rip),%r12
  lea    D79(%rip),%rbp
L73:
  mov    %ebx,%esi
  mov    %rbx,%rax
  and    $0x3,%eax
  movsbl (%r12,%rax,1),%ecx
  mov    0x10(%rsp,%rbx,4),%edx
  mov    %ebx,%r8d
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  add    $0x1,%rbx
  cmp    $0x10,%rbx
  jne    L73
  lea    D191(%rip),%rdi
  call   <puts@plt>
  lea    D130(%rip),%rdi
  call   <puts@plt>
  mov    0x98(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L64
  mov    $0x0,%eax
  add    $0xa8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L64:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D86
data_type: string
name: extract_symbolic_data
arguments: data_label: D162
data_type: string
name: extract_symbolic_data
arguments: data_label: D215
data_type: string
name: extract_symbolic_data
arguments: data_label: D151
data_type: string
name: extract_symbolic_data
arguments: data_label: D303
data_type: string
name: extract_symbolic_data
arguments: data_label: D56
data_type: string
name: extract_symbolic_data
arguments: data_label: D289
data_type: string
name: extract_symbolic_data
arguments: data_label: D79
data_type: string
name: extract_symbolic_data
arguments: data_label: D232
data_type: string
name: extract_symbolic_data
arguments: data_label: D251
data_type: string
name: extract_symbolic_data
arguments: data_label: D217
data_type: string
name: extract_symbolic_data
arguments: data_label: D99
data_type: string
name: extract_symbolic_data
arguments: data_label: D186
data_type: string
name: extract_symbolic_data
arguments: data_label: D191
data_type: string
name: extract_symbolic_data
arguments: data_label: D130
data_type: string

tool: D86: void saferp_ecb_encrypt(const unsigned char *pt, unsigned char *ct, symmetric_key *skey)
{
   int x;
   unsigned char b[16];

   LTC_ARGCHK(pt   != NULL);
   LTC_ARGCHK(ct   != NULL);
   LTC_ARGCHK(skey != NULL);

   /* do eight rounds */
   for (x = 0; x < 16; x++) {
       b[x] = pt[x];
   }

tool: D162: ^++^

tool: D215: elle

tool: D151: +^^+

tool: D303: b[%d] = (safer_%cbox[(b[%d] %c skey->saferp.K[%d][%d]) & 255] %c skey->saferp.K[%d][%d]) & 255;


tool: D56:    b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;


tool: D289:    if (skey->saferp.rounds <= 8) {

tool: D79:       ct[%d] = (b[%d] %c skey->saferp.K[skey->saferp.rounds*2][%d]) & 255;


tool: D232:       return;
   }

tool: D251:    /* 192-bit key? */
   if (skey->saferp.rounds > 8) {

tool: D217: }

tool: D99:    if (skey->saferp.rounds <= 12) {

tool: D186:    /* 256-bit key? */
   if (skey->saferp.rounds > 12) {

tool: D191:    return;

tool: D130:    }
}


assistant: ```c
int main(void) {
  int b[16], b2[16], x, y, z;
  for (x = 0; x < 16; x++)
    b[x] = x;
  printf("void saferp_ecb_encrypt(const unsigned char *pt, unsigned char *ct, symmetric_key *skey)\n"
         "{\n"
         "   int x;\n"
         "   unsigned char b[16];\n"
         "\n"
         "   LTC_ARGCHK(pt   != NULL);\n"
         "   LTC_ARGCHK(ct   != NULL);\n"
         "   LTC_ARGCHK(skey != NULL);\n"
         "\n"
         "   /* do eight rounds */\n"
         "   for (x = 0; x < 16; x++) {\n"
         "       b[x] = pt[x];\n"
         "   }\n");
  for (x = 0; x < 8; x++) {
    for (y = 0; y < 16; y++) {
      printf("b[%d] = (safer_%cbox[(b[%d] %c skey->saferp.K[%d][%d]) & 255] %c skey->saferp.K[%d][%d]) & 255;\n", b[y], "elle"[y & 3], b[y], "^++^"[y & 3], x * 2, y, "+^^+"[y & 3], x * 2 + 1, y);
    }
    for (y = 0; y < 4; y++) {
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[0], b[0], b[1], b[0], b[1]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[2], b[2], b[3], b[3], b[2]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[4], b[4], b[5], b[5], b[4]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[6], b[6], b[7], b[7], b[6]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[8], b[8], b[9], b[9], b[8]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[10], b[10], b[11], b[11], b[10]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[12], b[12], b[13], b[13], b[12]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[14], b[14], b[15], b[15], b[14]);
      if (y < 3) {
        b2[0] = b[8];
        b2[1] = b[11];
        b2[2] = b[12];
        b2[3] = b[15];
        b2[4] = b[2];
        b2[5] = b[1];
        b2[6] = b[6];
        b2[7] = b[5];
        b2[8] = b[10];
        b2[9] = b[9];
        b2[10] = b[14];
        b2[11] = b[13];
        b2[12] = b[0];
        b2[13] = b[7];
        b2[14] = b[4];
        b2[15] = b[3];
        memcpy(b, b2, sizeof(b));
        ;
      }
    }
  }
  printf("   if (skey->saferp.rounds <= 8) {\n");
  for (x = 0; x < 16; x++) {
    printf("      ct[%d] = (b[%d] %c skey->saferp.K[skey->saferp.rounds*2][%d]) & 255;\n", x, b[x], "^++^"[x & 3], x);
  }
  printf("      return;\n   }\n");
  printf("   /* 192-bit key? */\n"
         "   if (skey->saferp.rounds > 8) {\n");
  for (x = 8; x < 12; x++) {
    for (y = 0; y < 16; y++) {
      printf("b[%d] = (safer_%cbox[(b[%d] %c skey->saferp.K[%d][%d]) & 255] %c skey->saferp.K[%d][%d]) & 255;\n", b[y], "elle"[y & 3], b[y], "^++^"[y & 3], x * 2, y, "+^^+"[y & 3], x * 2 + 1, y);
    }
    for (y = 0; y < 4; y++) {
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[0], b[0], b[1], b[0], b[1]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[2], b[2], b[3], b[3], b[2]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[4], b[4], b[5], b[5], b[4]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[6], b[6], b[7], b[7], b[6]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[8], b[8], b[9], b[9], b[8]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[10], b[10], b[11], b[11], b[10]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[12], b[12], b[13], b[13], b[12]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[14], b[14], b[15], b[15], b[14]);
      if (y < 3) {
        b2[0] = b[8];
        b2[1] = b[11];
        b2[2] = b[12];
        b2[3] = b[15];
        b2[4] = b[2];
        b2[5] = b[1];
        b2[6] = b[6];
        b2[7] = b[5];
        b2[8] = b[10];
        b2[9] = b[9];
        b2[10] = b[14];
        b2[11] = b[13];
        b2[12] = b[0];
        b2[13] = b[7];
        b2[14] = b[4];
        b2[15] = b[3];
        memcpy(b, b2, sizeof(b));
        ;
      }
    }
  }
  printf("}\n");
  printf("   if (skey->saferp.rounds <= 12) {\n");
  for (x = 0; x < 16; x++) {
    printf("      ct[%d] = (b[%d] %c skey->saferp.K[skey->saferp.rounds*2][%d]) & 255;\n", x, b[x], "^++^"[x & 3], x);
  }
  printf("      return;\n   }\n");
  printf("   /* 256-bit key? */\n"
         "   if (skey->saferp.rounds > 12) {\n");
  for (x = 12; x < 16; x++) {
    for (y = 0; y < 16; y++) {
      printf("b[%d] = (safer_%cbox[(b[%d] %c skey->saferp.K[%d][%d]) & 255] %c skey->saferp.K[%d][%d]) & 255;\n", b[y], "elle"[y & 3], b[y], "^++^"[y & 3], x * 2, y, "+^^+"[y & 3], x * 2 + 1, y);
    }
    for (y = 0; y < 4; y++) {
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[0], b[0], b[1], b[0], b[1]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[2], b[2], b[3], b[3], b[2]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[4], b[4], b[5], b[5], b[4]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[6], b[6], b[7], b[7], b[6]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[8], b[8], b[9], b[9], b[8]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[10], b[10], b[11], b[11], b[10]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[12], b[12], b[13], b[13], b[12]);
      printf("   b[%d]  = (b[%d] + (b[%d] = (b[%d] + b[%d]) & 255)) & 255;\n", b[14], b[14], b[15], b[15], b[14]);
      if (y < 3) {
        b2[0] = b[8];
        b2[1] = b[11];
        b2[2] = b[12];
        b2[3] = b[15];
        b2[4] = b[2];
        b2[5] = b[1];
        b2[6] = b[6];
        b2[7] = b[5];
        b2[8] = b[10];
        b2[9] = b[9];
        b2[10] = b[14];
        b2[11] = b[13];
        b2[12] = b[0];
        b2[13] = b[7];
        b2[14] = b[4];
        b2[15] = b[3];
        memcpy(b, b2, sizeof(b));
        ;
      }
    }
  }
  for (x = 0; x < 16; x++) {
    printf("      ct[%d] = (b[%d] %c skey->saferp.K[skey->saferp.rounds*2][%d]) & 255;\n", x, b[x], "^++^"[x & 3], x);
  }
  printf("   return;\n");
  printf("   }\n}\n\n");
  return 0;
}
```