printf("CPU Key:\n");
        for (i=0; i<6; ++i){
            printf("%02d: %015lx\n", i, *(unsigned long*)(0x8000020000020000 + (i * 0x200)));
    }