private static long[] mk_tokenSet_88_() { long[] data = { 17592186044928L, 5368713856L, 0L, 0L}; return data; }