private static long[] mk_tokenSet_3_() { long[] data = { -11329391938248910L, 576460752303407103L, 0L, 0L}; return data; }