read_auxv
FAIL_IF(read_auxv(buffer, sizeof(buffer)));
int read_auxv(char *buf, ssize_t buf_size);
if (read_auxv(auxv, sizeof(auxv)))