#include <stdio.h>
#include <inttypes.h>

int main() {
    uint32_t r[5] = {0};
    __asm("cpuid" : "+a"(r[0]), "=b"(r[1]), "=d"(r[2]), "=c"(r[3]));
    printf("name='%s'\n", (const char*)&r[1]);
    return 0;
}