private static long[] mk_tokenSet_28_() { long[] numArray1 = new long[4]; numArray1[0] = -72057594046332942L; numArray1[1] = 0x3fcfffffffffL; return numArray1; }