user: What would the C source look like for the assembly code provided here:

```asm
<sc_add>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xf0,%rsp
  mov    %rdi,-0xd8(%rbp)
  mov    %rsi,-0xe0(%rbp)
  mov    %rdx,-0xe8(%rbp)
  mov    -0xe0(%rbp),%rax
  mov    %rax,%rdi
  call   <load_3@plt>
  and    $0x1fffff,%eax
  mov    %eax,-0xc4(%rbp)
  mov    -0xe0(%rbp),%rax
  add    $0x2,%rax
  mov    %rax,%rdi
  call   <load_4@plt>
  sar    $0x5,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0xc0(%rbp)
  mov    -0xe0(%rbp),%rax
  add    $0x5,%rax
  mov    %rax,%rdi
  call   <load_3@plt>
  sar    $0x2,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0xbc(%rbp)
  mov    -0xe0(%rbp),%rax
  add    $0x7,%rax
  mov    %rax,%rdi
  call   <load_4@plt>
  sar    $0x7,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0xb8(%rbp)
  mov    -0xe0(%rbp),%rax
  add    $0xa,%rax
  mov    %rax,%rdi
  call   <load_4@plt>
  sar    $0x4,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0xb4(%rbp)
  mov    -0xe0(%rbp),%rax
  add    $0xd,%rax
  mov    %rax,%rdi
  call   <load_3@plt>
  sar    %eax
  and    $0x1fffff,%eax
  mov    %eax,-0xb0(%rbp)
  mov    -0xe0(%rbp),%rax
  add    $0xf,%rax
  mov    %rax,%rdi
  call   <load_4@plt>
  sar    $0x6,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0xac(%rbp)
  mov    -0xe0(%rbp),%rax
  add    $0x12,%rax
  mov    %rax,%rdi
  call   <load_3@plt>
  sar    $0x3,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0xa8(%rbp)
  mov    -0xe0(%rbp),%rax
  add    $0x15,%rax
  mov    %rax,%rdi
  call   <load_3@plt>
  and    $0x1fffff,%eax
  mov    %eax,-0xa4(%rbp)
  mov    -0xe0(%rbp),%rax
  add    $0x17,%rax
  mov    %rax,%rdi
  call   <load_4@plt>
  sar    $0x5,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0xa0(%rbp)
  mov    -0xe0(%rbp),%rax
  add    $0x1a,%rax
  mov    %rax,%rdi
  call   <load_3@plt>
  sar    $0x2,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0x9c(%rbp)
  mov    -0xe0(%rbp),%rax
  add    $0x1c,%rax
  mov    %rax,%rdi
  call   <load_4@plt>
  sar    $0x7,%eax
  mov    %eax,-0x98(%rbp)
  mov    -0xe8(%rbp),%rax
  mov    %rax,%rdi
  call   <load_3@plt>
  and    $0x1fffff,%eax
  mov    %eax,-0x94(%rbp)
  mov    -0xe8(%rbp),%rax
  add    $0x2,%rax
  mov    %rax,%rdi
  call   <load_4@plt>
  sar    $0x5,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0x90(%rbp)
  mov    -0xe8(%rbp),%rax
  add    $0x5,%rax
  mov    %rax,%rdi
  call   <load_3@plt>
  sar    $0x2,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0x8c(%rbp)
  mov    -0xe8(%rbp),%rax
  add    $0x7,%rax
  mov    %rax,%rdi
  call   <load_4@plt>
  sar    $0x7,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0x88(%rbp)
  mov    -0xe8(%rbp),%rax
  add    $0xa,%rax
  mov    %rax,%rdi
  call   <load_4@plt>
  sar    $0x4,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0x84(%rbp)
  mov    -0xe8(%rbp),%rax
  add    $0xd,%rax
  mov    %rax,%rdi
  call   <load_3@plt>
  sar    %eax
  and    $0x1fffff,%eax
  mov    %eax,-0x80(%rbp)
  mov    -0xe8(%rbp),%rax
  add    $0xf,%rax
  mov    %rax,%rdi
  call   <load_4@plt>
  sar    $0x6,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0x7c(%rbp)
  mov    -0xe8(%rbp),%rax
  add    $0x12,%rax
  mov    %rax,%rdi
  call   <load_3@plt>
  sar    $0x3,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0x78(%rbp)
  mov    -0xe8(%rbp),%rax
  add    $0x15,%rax
  mov    %rax,%rdi
  call   <load_3@plt>
  and    $0x1fffff,%eax
  mov    %eax,-0x74(%rbp)
  mov    -0xe8(%rbp),%rax
  add    $0x17,%rax
  mov    %rax,%rdi
  call   <load_4@plt>
  sar    $0x5,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0x70(%rbp)
  mov    -0xe8(%rbp),%rax
  add    $0x1a,%rax
  mov    %rax,%rdi
  call   <load_3@plt>
  sar    $0x2,%eax
  and    $0x1fffff,%eax
  mov    %eax,-0x6c(%rbp)
  mov    -0xe8(%rbp),%rax
  add    $0x1c,%rax
  mov    %rax,%rdi
  call   <load_4@plt>
  sar    $0x7,%eax
  mov    %eax,-0x68(%rbp)
  mov    -0xc4(%rbp),%edx
  mov    -0x94(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x64(%rbp)
  mov    -0xc0(%rbp),%edx
  mov    -0x90(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x60(%rbp)
  mov    -0xbc(%rbp),%edx
  mov    -0x8c(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x5c(%rbp)
  mov    -0xb8(%rbp),%edx
  mov    -0x88(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x58(%rbp)
  mov    -0xb4(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x54(%rbp)
  mov    -0xb0(%rbp),%edx
  mov    -0x80(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x50(%rbp)
  mov    -0xac(%rbp),%edx
  mov    -0x7c(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x4c(%rbp)
  mov    -0xa8(%rbp),%edx
  mov    -0x78(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x48(%rbp)
  mov    -0xa4(%rbp),%edx
  mov    -0x74(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x44(%rbp)
  mov    -0xa0(%rbp),%edx
  mov    -0x70(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x40(%rbp)
  mov    -0x9c(%rbp),%edx
  mov    -0x6c(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x98(%rbp),%edx
  mov    -0x68(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  movl   $0x0,-0x34(%rbp)
  mov    -0x64(%rbp),%eax
  add    $0x100000,%eax
  sar    $0x15,%eax
  mov    %eax,-0x30(%rbp)
  mov    -0x30(%rbp),%eax
  add    %eax,-0x60(%rbp)
  mov    -0x30(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x64(%rbp)
  mov    -0x5c(%rbp),%eax
  add    $0x100000,%eax
  sar    $0x15,%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x2c(%rbp),%eax
  add    %eax,-0x58(%rbp)
  mov    -0x2c(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x5c(%rbp)
  mov    -0x54(%rbp),%eax
  add    $0x100000,%eax
  sar    $0x15,%eax
  mov    %eax,-0x28(%rbp)
  mov    -0x28(%rbp),%eax
  add    %eax,-0x50(%rbp)
  mov    -0x28(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x54(%rbp)
  mov    -0x4c(%rbp),%eax
  add    $0x100000,%eax
  sar    $0x15,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x24(%rbp),%eax
  add    %eax,-0x48(%rbp)
  mov    -0x24(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x4c(%rbp)
  mov    -0x44(%rbp),%eax
  add    $0x100000,%eax
  sar    $0x15,%eax
  mov    %eax,-0x20(%rbp)
  mov    -0x20(%rbp),%eax
  add    %eax,-0x40(%rbp)
  mov    -0x20(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x44(%rbp)
  mov    -0x3c(%rbp),%eax
  add    $0x100000,%eax
  sar    $0x15,%eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x1c(%rbp),%eax
  add    %eax,-0x38(%rbp)
  mov    -0x1c(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x3c(%rbp)
  mov    -0x60(%rbp),%eax
  add    $0x100000,%eax
  sar    $0x15,%eax
  mov    %eax,-0x18(%rbp)
  mov    -0x18(%rbp),%eax
  add    %eax,-0x5c(%rbp)
  mov    -0x18(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x60(%rbp)
  mov    -0x58(%rbp),%eax
  add    $0x100000,%eax
  sar    $0x15,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  add    %eax,-0x54(%rbp)
  mov    -0x14(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x58(%rbp)
  mov    -0x50(%rbp),%eax
  add    $0x100000,%eax
  sar    $0x15,%eax
  mov    %eax,-0x10(%rbp)
  mov    -0x10(%rbp),%eax
  add    %eax,-0x4c(%rbp)
  mov    -0x10(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x50(%rbp)
  mov    -0x48(%rbp),%eax
  add    $0x100000,%eax
  sar    $0x15,%eax
  mov    %eax,-0xc(%rbp)
  mov    -0xc(%rbp),%eax
  add    %eax,-0x44(%rbp)
  mov    -0xc(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x48(%rbp)
  mov    -0x40(%rbp),%eax
  add    $0x100000,%eax
  sar    $0x15,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x8(%rbp),%eax
  add    %eax,-0x3c(%rbp)
  mov    -0x8(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x40(%rbp)
  mov    -0x38(%rbp),%eax
  add    $0x100000,%eax
  sar    $0x15,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%eax
  add    %eax,-0x34(%rbp)
  mov    -0x4(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x38(%rbp)
  mov    -0x34(%rbp),%eax
  imul   $0xa2c13,%eax,%eax
  add    %eax,-0x64(%rbp)
  mov    -0x34(%rbp),%eax
  imul   $0x72d18,%eax,%eax
  add    %eax,-0x60(%rbp)
  mov    -0x34(%rbp),%eax
  imul   $0x9fb67,%eax,%eax
  add    %eax,-0x5c(%rbp)
  mov    -0x34(%rbp),%eax
  imul   $0xfff0c653,%eax,%eax
  add    %eax,-0x58(%rbp)
  mov    -0x34(%rbp),%eax
  imul   $0x215d1,%eax,%eax
  add    %eax,-0x54(%rbp)
  mov    -0x34(%rbp),%eax
  imul   $0xfff59083,%eax,%eax
  add    %eax,-0x50(%rbp)
  movl   $0x0,-0x34(%rbp)
  mov    -0x64(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x30(%rbp)
  mov    -0x30(%rbp),%eax
  add    %eax,-0x60(%rbp)
  mov    -0x30(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x64(%rbp)
  mov    -0x60(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x18(%rbp)
  mov    -0x18(%rbp),%eax
  add    %eax,-0x5c(%rbp)
  mov    -0x18(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x60(%rbp)
  mov    -0x5c(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x2c(%rbp),%eax
  add    %eax,-0x58(%rbp)
  mov    -0x2c(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x5c(%rbp)
  mov    -0x58(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  add    %eax,-0x54(%rbp)
  mov    -0x14(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x58(%rbp)
  mov    -0x54(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x28(%rbp)
  mov    -0x28(%rbp),%eax
  add    %eax,-0x50(%rbp)
  mov    -0x28(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x54(%rbp)
  mov    -0x50(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x10(%rbp)
  mov    -0x10(%rbp),%eax
  add    %eax,-0x4c(%rbp)
  mov    -0x10(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x50(%rbp)
  mov    -0x4c(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x24(%rbp),%eax
  add    %eax,-0x48(%rbp)
  mov    -0x24(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x4c(%rbp)
  mov    -0x48(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0xc(%rbp)
  mov    -0xc(%rbp),%eax
  add    %eax,-0x44(%rbp)
  mov    -0xc(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x48(%rbp)
  mov    -0x44(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x20(%rbp)
  mov    -0x20(%rbp),%eax
  add    %eax,-0x40(%rbp)
  mov    -0x20(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x44(%rbp)
  mov    -0x40(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x8(%rbp),%eax
  add    %eax,-0x3c(%rbp)
  mov    -0x8(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x40(%rbp)
  mov    -0x3c(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x1c(%rbp),%eax
  add    %eax,-0x38(%rbp)
  mov    -0x1c(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x3c(%rbp)
  mov    -0x38(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%eax
  add    %eax,-0x34(%rbp)
  mov    -0x4(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x38(%rbp)
  mov    -0x34(%rbp),%eax
  imul   $0xa2c13,%eax,%eax
  add    %eax,-0x64(%rbp)
  mov    -0x34(%rbp),%eax
  imul   $0x72d18,%eax,%eax
  add    %eax,-0x60(%rbp)
  mov    -0x34(%rbp),%eax
  imul   $0x9fb67,%eax,%eax
  add    %eax,-0x5c(%rbp)
  mov    -0x34(%rbp),%eax
  imul   $0xfff0c653,%eax,%eax
  add    %eax,-0x58(%rbp)
  mov    -0x34(%rbp),%eax
  imul   $0x215d1,%eax,%eax
  add    %eax,-0x54(%rbp)
  mov    -0x34(%rbp),%eax
  imul   $0xfff59083,%eax,%eax
  add    %eax,-0x50(%rbp)
  mov    -0x64(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x30(%rbp)
  mov    -0x30(%rbp),%eax
  add    %eax,-0x60(%rbp)
  mov    -0x30(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x64(%rbp)
  mov    -0x60(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x18(%rbp)
  mov    -0x18(%rbp),%eax
  add    %eax,-0x5c(%rbp)
  mov    -0x18(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x60(%rbp)
  mov    -0x5c(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x2c(%rbp),%eax
  add    %eax,-0x58(%rbp)
  mov    -0x2c(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x5c(%rbp)
  mov    -0x58(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  add    %eax,-0x54(%rbp)
  mov    -0x14(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x58(%rbp)
  mov    -0x54(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x28(%rbp)
  mov    -0x28(%rbp),%eax
  add    %eax,-0x50(%rbp)
  mov    -0x28(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x54(%rbp)
  mov    -0x50(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x10(%rbp)
  mov    -0x10(%rbp),%eax
  add    %eax,-0x4c(%rbp)
  mov    -0x10(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x50(%rbp)
  mov    -0x4c(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x24(%rbp),%eax
  add    %eax,-0x48(%rbp)
  mov    -0x24(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x4c(%rbp)
  mov    -0x48(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0xc(%rbp)
  mov    -0xc(%rbp),%eax
  add    %eax,-0x44(%rbp)
  mov    -0xc(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x48(%rbp)
  mov    -0x44(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x20(%rbp)
  mov    -0x20(%rbp),%eax
  add    %eax,-0x40(%rbp)
  mov    -0x20(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x44(%rbp)
  mov    -0x40(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x8(%rbp),%eax
  add    %eax,-0x3c(%rbp)
  mov    -0x8(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x40(%rbp)
  mov    -0x3c(%rbp),%eax
  sar    $0x15,%eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x1c(%rbp),%eax
  add    %eax,-0x38(%rbp)
  mov    -0x1c(%rbp),%eax
  shl    $0x15,%eax
  sub    %eax,-0x3c(%rbp)
  mov    -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  mov    %dl,(%rax)
  mov    -0x64(%rbp),%eax
  sar    $0x8,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x1,%rax
  mov    %dl,(%rax)
  mov    -0x64(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x60(%rbp),%eax
  shl    $0x5,%eax
  or     %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x2,%rax
  mov    %dl,(%rax)
  mov    -0x60(%rbp),%eax
  sar    $0x3,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x3,%rax
  mov    %dl,(%rax)
  mov    -0x60(%rbp),%eax
  sar    $0xb,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x4,%rax
  mov    %dl,(%rax)
  mov    -0x60(%rbp),%eax
  sar    $0x13,%eax
  mov    %eax,%edx
  mov    -0x5c(%rbp),%eax
  shl    $0x2,%eax
  or     %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x5,%rax
  mov    %dl,(%rax)
  mov    -0x5c(%rbp),%eax
  sar    $0x6,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x6,%rax
  mov    %dl,(%rax)
  mov    -0x5c(%rbp),%eax
  sar    $0xe,%eax
  mov    %eax,%edx
  mov    -0x58(%rbp),%eax
  shl    $0x7,%eax
  or     %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x7,%rax
  mov    %dl,(%rax)
  mov    -0x58(%rbp),%eax
  sar    %eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x8,%rax
  mov    %dl,(%rax)
  mov    -0x58(%rbp),%eax
  sar    $0x9,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x9,%rax
  mov    %dl,(%rax)
  mov    -0x58(%rbp),%eax
  sar    $0x11,%eax
  mov    %eax,%edx
  mov    -0x54(%rbp),%eax
  shl    $0x4,%eax
  or     %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0xa,%rax
  mov    %dl,(%rax)
  mov    -0x54(%rbp),%eax
  sar    $0x4,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0xb,%rax
  mov    %dl,(%rax)
  mov    -0x54(%rbp),%eax
  sar    $0xc,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0xc,%rax
  mov    %dl,(%rax)
  mov    -0x54(%rbp),%eax
  sar    $0x14,%eax
  mov    %eax,%edx
  mov    -0x50(%rbp),%eax
  add    %eax,%eax
  or     %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0xd,%rax
  mov    %dl,(%rax)
  mov    -0x50(%rbp),%eax
  sar    $0x7,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0xe,%rax
  mov    %dl,(%rax)
  mov    -0x50(%rbp),%eax
  sar    $0xf,%eax
  mov    %eax,%edx
  mov    -0x4c(%rbp),%eax
  shl    $0x6,%eax
  or     %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0xf,%rax
  mov    %dl,(%rax)
  mov    -0x4c(%rbp),%eax
  sar    $0x2,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x10,%rax
  mov    %dl,(%rax)
  mov    -0x4c(%rbp),%eax
  sar    $0xa,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x11,%rax
  mov    %dl,(%rax)
  mov    -0x4c(%rbp),%eax
  sar    $0x12,%eax
  mov    %eax,%edx
  mov    -0x48(%rbp),%eax
  shl    $0x3,%eax
  or     %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x12,%rax
  mov    %dl,(%rax)
  mov    -0x48(%rbp),%eax
  sar    $0x5,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x13,%rax
  mov    %dl,(%rax)
  mov    -0x48(%rbp),%eax
  sar    $0xd,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x14,%rax
  mov    %dl,(%rax)
  mov    -0xd8(%rbp),%rax
  add    $0x15,%rax
  mov    -0x44(%rbp),%edx
  mov    %dl,(%rax)
  mov    -0x44(%rbp),%eax
  sar    $0x8,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x16,%rax
  mov    %dl,(%rax)
  mov    -0x44(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  shl    $0x5,%eax
  or     %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x17,%rax
  mov    %dl,(%rax)
  mov    -0x40(%rbp),%eax
  sar    $0x3,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x18,%rax
  mov    %dl,(%rax)
  mov    -0x40(%rbp),%eax
  sar    $0xb,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x19,%rax
  mov    %dl,(%rax)
  mov    -0x40(%rbp),%eax
  sar    $0x13,%eax
  mov    %eax,%edx
  mov    -0x3c(%rbp),%eax
  shl    $0x2,%eax
  or     %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x1a,%rax
  mov    %dl,(%rax)
  mov    -0x3c(%rbp),%eax
  sar    $0x6,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x1b,%rax
  mov    %dl,(%rax)
  mov    -0x3c(%rbp),%eax
  sar    $0xe,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  shl    $0x7,%eax
  or     %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x1c,%rax
  mov    %dl,(%rax)
  mov    -0x38(%rbp),%eax
  sar    %eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x1d,%rax
  mov    %dl,(%rax)
  mov    -0x38(%rbp),%eax
  sar    $0x9,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x1e,%rax
  mov    %dl,(%rax)
  mov    -0x38(%rbp),%eax
  sar    $0x11,%eax
  mov    %eax,%edx
  mov    -0xd8(%rbp),%rax
  add    $0x1f,%rax
  mov    %dl,(%rax)
  nop
  leave
  ret
```

assistant: ```c
void sc_add(unsigned char *s, const unsigned char *a, const unsigned char *b) {
  int64_t a0 = 2097151 & load_3(a);
  int64_t a1 = 2097151 & (load_4(a + 2) >> 5);
  int64_t a2 = 2097151 & (load_3(a + 5) >> 2);
  int64_t a3 = 2097151 & (load_4(a + 7) >> 7);
  int64_t a4 = 2097151 & (load_4(a + 10) >> 4);
  int64_t a5 = 2097151 & (load_3(a + 13) >> 1);
  int64_t a6 = 2097151 & (load_4(a + 15) >> 6);
  int64_t a7 = 2097151 & (load_3(a + 18) >> 3);
  int64_t a8 = 2097151 & load_3(a + 21);
  int64_t a9 = 2097151 & (load_4(a + 23) >> 5);
  int64_t a10 = 2097151 & (load_3(a + 26) >> 2);
  int64_t a11 = (load_4(a + 28) >> 7);
  int64_t b0 = 2097151 & load_3(b);
  int64_t b1 = 2097151 & (load_4(b + 2) >> 5);
  int64_t b2 = 2097151 & (load_3(b + 5) >> 2);
  int64_t b3 = 2097151 & (load_4(b + 7) >> 7);
  int64_t b4 = 2097151 & (load_4(b + 10) >> 4);
  int64_t b5 = 2097151 & (load_3(b + 13) >> 1);
  int64_t b6 = 2097151 & (load_4(b + 15) >> 6);
  int64_t b7 = 2097151 & (load_3(b + 18) >> 3);
  int64_t b8 = 2097151 & load_3(b + 21);
  int64_t b9 = 2097151 & (load_4(b + 23) >> 5);
  int64_t b10 = 2097151 & (load_3(b + 26) >> 2);
  int64_t b11 = (load_4(b + 28) >> 7);
  int64_t s0 = a0 + b0;
  int64_t s1 = a1 + b1;
  int64_t s2 = a2 + b2;
  int64_t s3 = a3 + b3;
  int64_t s4 = a4 + b4;
  int64_t s5 = a5 + b5;
  int64_t s6 = a6 + b6;
  int64_t s7 = a7 + b7;
  int64_t s8 = a8 + b8;
  int64_t s9 = a9 + b9;
  int64_t s10 = a10 + b10;
  int64_t s11 = a11 + b11;
  int64_t s12 = 0;
  int64_t carry0;
  int64_t carry1;
  int64_t carry2;
  int64_t carry3;
  int64_t carry4;
  int64_t carry5;
  int64_t carry6;
  int64_t carry7;
  int64_t carry8;
  int64_t carry9;
  int64_t carry10;
  int64_t carry11;
  carry0 = (s0 + (1 << 20)) >> 21;
  s1 += carry0;
  s0 -= carry0 << 21;
  carry2 = (s2 + (1 << 20)) >> 21;
  s3 += carry2;
  s2 -= carry2 << 21;
  carry4 = (s4 + (1 << 20)) >> 21;
  s5 += carry4;
  s4 -= carry4 << 21;
  carry6 = (s6 + (1 << 20)) >> 21;
  s7 += carry6;
  s6 -= carry6 << 21;
  carry8 = (s8 + (1 << 20)) >> 21;
  s9 += carry8;
  s8 -= carry8 << 21;
  carry10 = (s10 + (1 << 20)) >> 21;
  s11 += carry10;
  s10 -= carry10 << 21;
  carry1 = (s1 + (1 << 20)) >> 21;
  s2 += carry1;
  s1 -= carry1 << 21;
  carry3 = (s3 + (1 << 20)) >> 21;
  s4 += carry3;
  s3 -= carry3 << 21;
  carry5 = (s5 + (1 << 20)) >> 21;
  s6 += carry5;
  s5 -= carry5 << 21;
  carry7 = (s7 + (1 << 20)) >> 21;
  s8 += carry7;
  s7 -= carry7 << 21;
  carry9 = (s9 + (1 << 20)) >> 21;
  s10 += carry9;
  s9 -= carry9 << 21;
  carry11 = (s11 + (1 << 20)) >> 21;
  s12 += carry11;
  s11 -= carry11 << 21;
  s0 += s12 * 666643;
  s1 += s12 * 470296;
  s2 += s12 * 654183;
  s3 -= s12 * 997805;
  s4 += s12 * 136657;
  s5 -= s12 * 683901;
  s12 = 0;
  carry0 = s0 >> 21;
  s1 += carry0;
  s0 -= carry0 << 21;
  carry1 = s1 >> 21;
  s2 += carry1;
  s1 -= carry1 << 21;
  carry2 = s2 >> 21;
  s3 += carry2;
  s2 -= carry2 << 21;
  carry3 = s3 >> 21;
  s4 += carry3;
  s3 -= carry3 << 21;
  carry4 = s4 >> 21;
  s5 += carry4;
  s4 -= carry4 << 21;
  carry5 = s5 >> 21;
  s6 += carry5;
  s5 -= carry5 << 21;
  carry6 = s6 >> 21;
  s7 += carry6;
  s6 -= carry6 << 21;
  carry7 = s7 >> 21;
  s8 += carry7;
  s7 -= carry7 << 21;
  carry8 = s8 >> 21;
  s9 += carry8;
  s8 -= carry8 << 21;
  carry9 = s9 >> 21;
  s10 += carry9;
  s9 -= carry9 << 21;
  carry10 = s10 >> 21;
  s11 += carry10;
  s10 -= carry10 << 21;
  carry11 = s11 >> 21;
  s12 += carry11;
  s11 -= carry11 << 21;
  s0 += s12 * 666643;
  s1 += s12 * 470296;
  s2 += s12 * 654183;
  s3 -= s12 * 997805;
  s4 += s12 * 136657;
  s5 -= s12 * 683901;
  carry0 = s0 >> 21;
  s1 += carry0;
  s0 -= carry0 << 21;
  carry1 = s1 >> 21;
  s2 += carry1;
  s1 -= carry1 << 21;
  carry2 = s2 >> 21;
  s3 += carry2;
  s2 -= carry2 << 21;
  carry3 = s3 >> 21;
  s4 += carry3;
  s3 -= carry3 << 21;
  carry4 = s4 >> 21;
  s5 += carry4;
  s4 -= carry4 << 21;
  carry5 = s5 >> 21;
  s6 += carry5;
  s5 -= carry5 << 21;
  carry6 = s6 >> 21;
  s7 += carry6;
  s6 -= carry6 << 21;
  carry7 = s7 >> 21;
  s8 += carry7;
  s7 -= carry7 << 21;
  carry8 = s8 >> 21;
  s9 += carry8;
  s8 -= carry8 << 21;
  carry9 = s9 >> 21;
  s10 += carry9;
  s9 -= carry9 << 21;
  carry10 = s10 >> 21;
  s11 += carry10;
  s10 -= carry10 << 21;
  s[0] = (unsigned char)(s0 >> 0);
  s[1] = (unsigned char)(s0 >> 8);
  s[2] = (unsigned char)((s0 >> 16) | (s1 << 5));
  s[3] = (unsigned char)(s1 >> 3);
  s[4] = (unsigned char)(s1 >> 11);
  s[5] = (unsigned char)((s1 >> 19) | (s2 << 2));
  s[6] = (unsigned char)(s2 >> 6);
  s[7] = (unsigned char)((s2 >> 14) | (s3 << 7));
  s[8] = (unsigned char)(s3 >> 1);
  s[9] = (unsigned char)(s3 >> 9);
  s[10] = (unsigned char)((s3 >> 17) | (s4 << 4));
  s[11] = (unsigned char)(s4 >> 4);
  s[12] = (unsigned char)(s4 >> 12);
  s[13] = (unsigned char)((s4 >> 20) | (s5 << 1));
  s[14] = (unsigned char)(s5 >> 7);
  s[15] = (unsigned char)((s5 >> 15) | (s6 << 6));
  s[16] = (unsigned char)(s6 >> 2);
  s[17] = (unsigned char)(s6 >> 10);
  s[18] = (unsigned char)((s6 >> 18) | (s7 << 3));
  s[19] = (unsigned char)(s7 >> 5);
  s[20] = (unsigned char)(s7 >> 13);
  s[21] = (unsigned char)(s8 >> 0);
  s[22] = (unsigned char)(s8 >> 8);
  s[23] = (unsigned char)((s8 >> 16) | (s9 << 5));
  s[24] = (unsigned char)(s9 >> 3);
  s[25] = (unsigned char)(s9 >> 11);
  s[26] = (unsigned char)((s9 >> 19) | (s10 << 2));
  s[27] = (unsigned char)(s10 >> 6);
  s[28] = (unsigned char)((s10 >> 14) | (s11 << 7));
  s[29] = (unsigned char)(s11 >> 1);
  s[30] = (unsigned char)(s11 >> 9);
  s[31] = (unsigned char)(s11 >> 17);
}
```