private static long[] mk_tokenSet_64_() { long[] data = { -3160946018312420608L, 575902203140620012L, 0L, 0L}; return data; }