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

```asm
<stage_cu>:
  endbr64
  sub    $0x8,%rsp
  xor    %esi,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xb0200000,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x4,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xb0210080,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x8,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xb0220000,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0xc,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xb0230000,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x10,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0x7e0402ff,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x14,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0x1c,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x18,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xb003001f,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x1c,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xe8242005,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x20,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0x3080602,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x24,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xbf810000,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  xor    %esi,%esi
  mov    $0x50002004,%edi
  call   <Xil_Out32@plt>
  mov    $0x11,%esi
  mov    $0x50002008,%edi
  call   <Xil_Out32@plt>
  mov    $0x25,%esi
  mov    $0x5000200c,%edi
  call   <Xil_Out32@plt>
  mov    $0x30,%esi
  mov    $0x50002010,%edi
  call   <Xil_Out32@plt>
  mov    $0x7,%esi
  mov    $0x50002014,%edi
  call   <Xil_Out32@plt>
  mov    $0x1,%esi
  mov    $0x50002000,%edi
  call   <Xil_Out32@plt>
  mov    $0x10,%esi
  mov    $0x50002004,%edi
  call   <Xil_Out32@plt>
  mov    $0x6,%esi
  mov    $0x50002008,%edi
  call   <Xil_Out32@plt>
  mov    $0x11,%esi
  mov    $0x5000200c,%edi
  call   <Xil_Out32@plt>
  mov    $0xe,%esi
  mov    $0x50002010,%edi
  call   <Xil_Out32@plt>
  mov    $0x6,%esi
  mov    $0x50002014,%edi
  call   <Xil_Out32@plt>
  mov    $0x1,%esi
  mov    $0x50002000,%edi
  call   <Xil_Out32@plt>
  mov    $0x20,%esi
  mov    $0x50002004,%edi
  call   <Xil_Out32@plt>
  mov    $0x12,%esi
  mov    $0x50002008,%edi
  call   <Xil_Out32@plt>
  mov    $0x2e,%esi
  mov    $0x5000200c,%edi
  call   <Xil_Out32@plt>
  xor    %esi,%esi
  mov    $0x50002010,%edi
  call   <Xil_Out32@plt>
  xor    %esi,%esi
  mov    $0x50002014,%edi
  call   <Xil_Out32@plt>
  mov    $0x1,%esi
  mov    $0x50002000,%edi
  add    $0x8,%rsp
  jmp    1050 <Xil_Out32@plt>
```

assistant: ```c
void stage_cu() {
  Xil_Out32(0x50001004, 0);
  Xil_Out32(0x50001000, 0xB0200000);
  Xil_Out32(0x50001004, 4);
  Xil_Out32(0x50001000, 0xB0210080);
  Xil_Out32(0x50001004, 8);
  Xil_Out32(0x50001000, 0xB0220000);
  Xil_Out32(0x50001004, 12);
  Xil_Out32(0x50001000, 0xB0230000);
  Xil_Out32(0x50001004, 16);
  Xil_Out32(0x50001000, 0x7E0402FF);
  Xil_Out32(0x50001004, 20);
  Xil_Out32(0x50001000, 0x0000001C);
  Xil_Out32(0x50001004, 24);
  Xil_Out32(0x50001000, 0xB003001F);
  Xil_Out32(0x50001004, 28);
  Xil_Out32(0x50001000, 0xE8242005);
  Xil_Out32(0x50001004, 32);
  Xil_Out32(0x50001000, 0x03080602);
  Xil_Out32(0x50001004, 36);
  Xil_Out32(0x50001000, 0xBF810000);
  Xil_Out32(0x50002004, 0);
  Xil_Out32(0x50002008, 0x11);
  Xil_Out32(0x5000200C, 0x25);
  Xil_Out32(0x50002010, 0x30);
  Xil_Out32(0x50002014, 0x7);
  Xil_Out32(0x50002000, 1);
  Xil_Out32(0x50002004, 16);
  Xil_Out32(0x50002008, 0x6);
  Xil_Out32(0x5000200C, 0x11);
  Xil_Out32(0x50002010, 0xE);
  Xil_Out32(0x50002014, 0x6);
  Xil_Out32(0x50002000, 1);
  Xil_Out32(0x50002004, 32);
  Xil_Out32(0x50002008, 0x12);
  Xil_Out32(0x5000200C, 0x2E);
  Xil_Out32(0x50002010, 0x0);
  Xil_Out32(0x50002014, 0x0);
  Xil_Out32(0x50002000, 1);
}
```