#include <stdio.h>
#include <cpuid.h>

int main() {
  unsigned int regs[4];
  __get_cpuid(0, regs, regs+1, regs+2, regs+3);
  for (int i=0; i<4; i++)
    printf("%08x ", regs[i]);
  printf("\n");
}