void bug6491a(int a = ddoc6491.c6491, string b = core.cpuid.vendor);