prctl$PR_SET_MM_AUXV(0x39, 0xc, &(0x7f0000000700), 0x0)