auxv_32_to_n
extern void auxv_32_to_n(const auxv32_t *, auxv_t *);
auxv_32_to_n(&a32[i], &P->auxv[i]);