private static long[] mk_tokenSet_42_() { long[] numArray1 = new long[2]; numArray1[0] = 0x800002000101000L; return numArray1; }