private static void Jj_la1_init_0() { jj_la1_0 = new int[] { 0x100, 0x200, 0x400, 0x1000, 0x800, 0x7c3b00, 0x1b00, 0x8000, 0x7c0000, 0x20000, }; } private readonly JJCalls[] jj_2_rtns = new JJCalls[1];