private static long[] mk_tokenSet_17_() { long[] numArray1 = new long[4]; numArray1[0] = -576437111779454896L; numArray1[1] = 0x3f83bfff9b7bL; return numArray1; }