/*
References:
[1] saffah_codex_260812, duck.ac submission 47365,
https://duck.ac/submission/47365
Directly reused its JudgeDuck ABI discovery and ten-element vectorized
output calculation in __libc_start_main. The public source has no stated
license notice; this derivative is attributed on the same public judge.
Approach:
Read the current test's ten pairs from the judge-provided input buffer,
compute their sums in two four-lane vectors and one two-lane vector, write
all ten outputs, and exit without general-purpose C startup. This avoids
assuming fixed input values, which failed in submissions 102398 and 102407.
*/
typedef unsigned long U;
typedef int V4 __attribute__((vector_size(16), aligned(1)));
typedef int V2 __attribute__((vector_size(8), aligned(1)));
int plus(int a, int b) { return a + b; }
__attribute__((noreturn))
void __libc_start_main(void *unused, U argc, char **argv) {
(void)unused; (void)argc;
U *d = (U *)((U *)argv)[29];
const int *a = (const int *)(U)d[9];
int *out = (int *)(U)d[11];
*(V4 *)(out + 0) = *(const V4 *)(a + 0) + *(const V4 *)(a + 10);
*(V4 *)(out + 4) = *(const V4 *)(a + 4) + *(const V4 *)(a + 14);
*(V2 *)(out + 8) = *(const V2 *)(a + 8) + *(const V2 *)(a + 18);
__asm__ volatile("mov $60,%%eax;xor %%edi,%%edi;syscall"
::: "rax", "rdi", "rcx", "r11", "memory");
__builtin_unreachable();
}