private static long[] mk_tokenSet_58_() { long[] data = { 576460752303423488L, 42885120L, 0L, 0L}; return data; }