private static long[] mk_tokenSet_42_() { long[] data = { 1125899907497984L, 8790020L, 0L, 0L}; return data; }