#include <stdio.h>

#include <sys/auxv.h>
#include <sys/utsname.h>



int main() {
  struct utsname name;
  char *p;

  uname(&name);
  fprintf(stderr, "machine: %s\n", name.machine);  
  p = (char *)getauxval(AT_PLATFORM);
  fprintf(stderr, "AT_PLATFORM: %s\n", p);
  return 0;
}