void Choose64_4_Senzee_funky(unsigned __int64 *p)

{

const volatile unsigned x[] =

{

0x83dc8b53, 0xe48308ec, 0x04c483f0, 0x046b8b55, 0x04246c89, 0xec81ec8b, 0x00000418, 0x5756c033,

0xfbf88589, 0x8589ffff, 0xfffffbfc, 0x0000fcb9, 0x00bd8d00, 0xc7fffffc, 0xfffbf085, 0x000040ff,

0xf485c700, 0x04fffffb, 0xf3000000, 0xf0858dab, 0x89fffffb, 0x738bfc45, 0x013e8008, 0x00b82075,

0x39e00000, 0x16750446, 0x4d8f78b8, 0x80f00300, 0x0a750f3e, 0x00047e80, 0x0081840f, 0x738b0000,

0x0001b808, 0x7d8b0000, 0xef6e0ffc, 0x83f86e0f, 0x7e0f10c7, 0x74f93be9, 0x10ef8366, 0x0f04578b,

0x8b08776f, 0x01fa8307, 0x1c75e87c, 0x8dfa7f0f, 0xeb0fc60c, 0x36e70ff2, 0x0f08c683, 0xf13bf2ef,

0x01f2730f, 0xcaebec75, 0x1775d03b, 0x0ff97f0f, 0xf30fc06e, 0xcffb0fc8, 0x0fceeb0f, 0xc6830ee7,

0x48afeb08, 0x7f0f0789, 0x045789f9, 0x4ac06e0f, 0x08777f0f, 0x83c8f30f, 0xeb0f10c7, 0x0fa6ebf1,

0x8b5e5f77, 0xe38b5de5, 0x0000c35b

};

((void (*)(unsigned __int64 *))(void *)x)(p);

}