user: Converte this assembly snippet into its equivalent C code:

```asm
<stage_cu>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    $0x0,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xbf820004,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x4,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xbe810309,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x8,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xbe820307,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0xc,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xbe810309,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x10,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xbe850301,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x14,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xbe810303,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x18,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xbf810000,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x1c,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xbe830301,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x20,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xbe870304,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x24,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xbe850304,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x28,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xbe800308,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x2c,%esi
  mov    $0x50001004,%edi
  call   <Xil_Out32@plt>
  mov    $0xbe870306,%esi
  mov    $0x50001000,%edi
  call   <Xil_Out32@plt>
  mov    $0x0,%esi
  mov    $0x50002004,%edi
  call   <Xil_Out32@plt>
  mov    $0x0,%esi
  mov    $0x50002008,%edi
  call   <Xil_Out32@plt>
  mov    $0x3,%esi
  mov    $0x5000200c,%edi
  call   <Xil_Out32@plt>
  mov    $0x25,%esi
  mov    $0x50002010,%edi
  call   <Xil_Out32@plt>
  mov    $0x27,%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    $0x2d,%esi
  mov    $0x50002008,%edi
  call   <Xil_Out32@plt>
  mov    $0x2f,%esi
  mov    $0x5000200c,%edi
  call   <Xil_Out32@plt>
  mov    $0x31,%esi
  mov    $0x50002010,%edi
  call   <Xil_Out32@plt>
  mov    $0x20,%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    $0x5,%esi
  mov    $0x50002008,%edi
  call   <Xil_Out32@plt>
  mov    $0x24,%esi
  mov    $0x5000200c,%edi
  call   <Xil_Out32@plt>
  mov    $0x0,%esi
  mov    $0x50002010,%edi
  call   <Xil_Out32@plt>
  mov    $0x0,%esi
  mov    $0x50002014,%edi
  call   <Xil_Out32@plt>
  mov    $0x1,%esi
  mov    $0x50002000,%edi
  call   <Xil_Out32@plt>
  nop
  pop    %rbp
  ret
```

assistant: ```c
void stage_cu() {
  Xil_Out32(0x50001004, 0);
  Xil_Out32(0x50001000, 0xBF820004);
  Xil_Out32(0x50001004, 4);
  Xil_Out32(0x50001000, 0xBE810309);
  Xil_Out32(0x50001004, 8);
  Xil_Out32(0x50001000, 0xBE820307);
  Xil_Out32(0x50001004, 12);
  Xil_Out32(0x50001000, 0xBE810309);
  Xil_Out32(0x50001004, 16);
  Xil_Out32(0x50001000, 0xBE850301);
  Xil_Out32(0x50001004, 20);
  Xil_Out32(0x50001000, 0xBE810303);
  Xil_Out32(0x50001004, 24);
  Xil_Out32(0x50001000, 0xBF810000);
  Xil_Out32(0x50001004, 28);
  Xil_Out32(0x50001000, 0xBE830301);
  Xil_Out32(0x50001004, 32);
  Xil_Out32(0x50001000, 0xBE870304);
  Xil_Out32(0x50001004, 36);
  Xil_Out32(0x50001000, 0xBE850304);
  Xil_Out32(0x50001004, 40);
  Xil_Out32(0x50001000, 0xBE800308);
  Xil_Out32(0x50001004, 44);
  Xil_Out32(0x50001000, 0xBE870306);
  Xil_Out32(0x50002004, 0);
  Xil_Out32(0x50002008, 0x0);
  Xil_Out32(0x5000200C, 0x3);
  Xil_Out32(0x50002010, 0x25);
  Xil_Out32(0x50002014, 0x27);
  Xil_Out32(0x50002000, 1);
  Xil_Out32(0x50002004, 16);
  Xil_Out32(0x50002008, 0x2D);
  Xil_Out32(0x5000200C, 0x2F);
  Xil_Out32(0x50002010, 0x31);
  Xil_Out32(0x50002014, 0x20);
  Xil_Out32(0x50002000, 1);
  Xil_Out32(0x50002004, 32);
  Xil_Out32(0x50002008, 0x5);
  Xil_Out32(0x5000200C, 0x24);
  Xil_Out32(0x50002010, 0x0);
  Xil_Out32(0x50002014, 0x0);
  Xil_Out32(0x50002000, 1);
}
```