private static long[] mk_tokenSet_80_() { long[] data = { -4322892348723986176L, 575902203140615268L, 0L, 0L}; return data; }