#include /* getauxval */ unsigned long __getauxval(unsigned long value) { return getauxval(value); }