#include <stdio.h>
#include <string.h>
const char code[22] = "\x53\x31\xC0\x0F\xA2\x89\x1F\x89\x57\x04\x89\x4F\x08\x5B\x48\x8D\x05\0\0\0\0\xC3";
void (*get_vendor_string)(char(*)[12]) = (void(*)(char(*)[12]))code;
int main() {
char s[12];
get_vendor_string(&s);
printf("CPU made by %.12s\n", s
); }
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdHJpbmcuaD4KCmNvbnN0IGNoYXIgY29kZVsyMl0gPSAiXHg1M1x4MzFceEMwXHgwRlx4QTJceDg5XHgxRlx4ODlceDU3XHgwNFx4ODlceDRGXHgwOFx4NUJceDQ4XHg4RFx4MDVcMFwwXDBcMFx4QzMiOwp2b2lkICgqZ2V0X3ZlbmRvcl9zdHJpbmcpKGNoYXIoKilbMTJdKSA9ICh2b2lkKCopKGNoYXIoKilbMTJdKSljb2RlOwoKaW50IG1haW4oKSB7CiAgICBjaGFyIHNbMTJdOwogICAgZ2V0X3ZlbmRvcl9zdHJpbmcoJnMpOwogICAgcHJpbnRmKCJDUFUgbWFkZSBieSAlLjEyc1xuIiwgcyk7Cn0=