private static long[] mk_tokenSet_87_() { long[] data = { -178122325734178032L, 576460747974884452L, 0L, 0L}; return data; }