193: cz_fce_compile.h_templates('decmax') := 453;
194: cz_fce_compile.h_templates('minfirst') := 454;
195: cz_fce_compile.h_templates('maxfirst') := 455;
196:
197: cz_fce_compile.h_inst('nop') := cz_fce_compile_utils.unsigned_byte (0);
198: cz_fce_compile.h_inst('iconst_m1') := cz_fce_compile_utils.unsigned_byte (2);
199: cz_fce_compile.h_inst('iconst_0') := cz_fce_compile_utils.unsigned_byte (3);
200: cz_fce_compile.h_inst('iconst_1') := cz_fce_compile_utils.unsigned_byte (4);
201: cz_fce_compile.h_inst('iconst_2') := cz_fce_compile_utils.unsigned_byte (5);
194: cz_fce_compile.h_templates('minfirst') := 454;
195: cz_fce_compile.h_templates('maxfirst') := 455;
196:
197: cz_fce_compile.h_inst('nop') := cz_fce_compile_utils.unsigned_byte (0);
198: cz_fce_compile.h_inst('iconst_m1') := cz_fce_compile_utils.unsigned_byte (2);
199: cz_fce_compile.h_inst('iconst_0') := cz_fce_compile_utils.unsigned_byte (3);
200: cz_fce_compile.h_inst('iconst_1') := cz_fce_compile_utils.unsigned_byte (4);
201: cz_fce_compile.h_inst('iconst_2') := cz_fce_compile_utils.unsigned_byte (5);
202: cz_fce_compile.h_inst('iconst_3') := cz_fce_compile_utils.unsigned_byte (6);
195: cz_fce_compile.h_templates('maxfirst') := 455;
196:
197: cz_fce_compile.h_inst('nop') := cz_fce_compile_utils.unsigned_byte (0);
198: cz_fce_compile.h_inst('iconst_m1') := cz_fce_compile_utils.unsigned_byte (2);
199: cz_fce_compile.h_inst('iconst_0') := cz_fce_compile_utils.unsigned_byte (3);
200: cz_fce_compile.h_inst('iconst_1') := cz_fce_compile_utils.unsigned_byte (4);
201: cz_fce_compile.h_inst('iconst_2') := cz_fce_compile_utils.unsigned_byte (5);
202: cz_fce_compile.h_inst('iconst_3') := cz_fce_compile_utils.unsigned_byte (6);
203: cz_fce_compile.h_inst('iconst_4') := cz_fce_compile_utils.unsigned_byte (7);
196:
197: cz_fce_compile.h_inst('nop') := cz_fce_compile_utils.unsigned_byte (0);
198: cz_fce_compile.h_inst('iconst_m1') := cz_fce_compile_utils.unsigned_byte (2);
199: cz_fce_compile.h_inst('iconst_0') := cz_fce_compile_utils.unsigned_byte (3);
200: cz_fce_compile.h_inst('iconst_1') := cz_fce_compile_utils.unsigned_byte (4);
201: cz_fce_compile.h_inst('iconst_2') := cz_fce_compile_utils.unsigned_byte (5);
202: cz_fce_compile.h_inst('iconst_3') := cz_fce_compile_utils.unsigned_byte (6);
203: cz_fce_compile.h_inst('iconst_4') := cz_fce_compile_utils.unsigned_byte (7);
204: cz_fce_compile.h_inst('iconst_5') := cz_fce_compile_utils.unsigned_byte (8);
197: cz_fce_compile.h_inst('nop') := cz_fce_compile_utils.unsigned_byte (0);
198: cz_fce_compile.h_inst('iconst_m1') := cz_fce_compile_utils.unsigned_byte (2);
199: cz_fce_compile.h_inst('iconst_0') := cz_fce_compile_utils.unsigned_byte (3);
200: cz_fce_compile.h_inst('iconst_1') := cz_fce_compile_utils.unsigned_byte (4);
201: cz_fce_compile.h_inst('iconst_2') := cz_fce_compile_utils.unsigned_byte (5);
202: cz_fce_compile.h_inst('iconst_3') := cz_fce_compile_utils.unsigned_byte (6);
203: cz_fce_compile.h_inst('iconst_4') := cz_fce_compile_utils.unsigned_byte (7);
204: cz_fce_compile.h_inst('iconst_5') := cz_fce_compile_utils.unsigned_byte (8);
205: cz_fce_compile.h_inst('bipush') := cz_fce_compile_utils.unsigned_byte (16);
198: cz_fce_compile.h_inst('iconst_m1') := cz_fce_compile_utils.unsigned_byte (2);
199: cz_fce_compile.h_inst('iconst_0') := cz_fce_compile_utils.unsigned_byte (3);
200: cz_fce_compile.h_inst('iconst_1') := cz_fce_compile_utils.unsigned_byte (4);
201: cz_fce_compile.h_inst('iconst_2') := cz_fce_compile_utils.unsigned_byte (5);
202: cz_fce_compile.h_inst('iconst_3') := cz_fce_compile_utils.unsigned_byte (6);
203: cz_fce_compile.h_inst('iconst_4') := cz_fce_compile_utils.unsigned_byte (7);
204: cz_fce_compile.h_inst('iconst_5') := cz_fce_compile_utils.unsigned_byte (8);
205: cz_fce_compile.h_inst('bipush') := cz_fce_compile_utils.unsigned_byte (16);
206: cz_fce_compile.h_inst('sipush') := cz_fce_compile_utils.unsigned_byte (17);
199: cz_fce_compile.h_inst('iconst_0') := cz_fce_compile_utils.unsigned_byte (3);
200: cz_fce_compile.h_inst('iconst_1') := cz_fce_compile_utils.unsigned_byte (4);
201: cz_fce_compile.h_inst('iconst_2') := cz_fce_compile_utils.unsigned_byte (5);
202: cz_fce_compile.h_inst('iconst_3') := cz_fce_compile_utils.unsigned_byte (6);
203: cz_fce_compile.h_inst('iconst_4') := cz_fce_compile_utils.unsigned_byte (7);
204: cz_fce_compile.h_inst('iconst_5') := cz_fce_compile_utils.unsigned_byte (8);
205: cz_fce_compile.h_inst('bipush') := cz_fce_compile_utils.unsigned_byte (16);
206: cz_fce_compile.h_inst('sipush') := cz_fce_compile_utils.unsigned_byte (17);
207: cz_fce_compile.h_inst('ldc') := cz_fce_compile_utils.unsigned_byte (18);
200: cz_fce_compile.h_inst('iconst_1') := cz_fce_compile_utils.unsigned_byte (4);
201: cz_fce_compile.h_inst('iconst_2') := cz_fce_compile_utils.unsigned_byte (5);
202: cz_fce_compile.h_inst('iconst_3') := cz_fce_compile_utils.unsigned_byte (6);
203: cz_fce_compile.h_inst('iconst_4') := cz_fce_compile_utils.unsigned_byte (7);
204: cz_fce_compile.h_inst('iconst_5') := cz_fce_compile_utils.unsigned_byte (8);
205: cz_fce_compile.h_inst('bipush') := cz_fce_compile_utils.unsigned_byte (16);
206: cz_fce_compile.h_inst('sipush') := cz_fce_compile_utils.unsigned_byte (17);
207: cz_fce_compile.h_inst('ldc') := cz_fce_compile_utils.unsigned_byte (18);
208: cz_fce_compile.h_inst('ldc_w') := cz_fce_compile_utils.unsigned_byte (19);
201: cz_fce_compile.h_inst('iconst_2') := cz_fce_compile_utils.unsigned_byte (5);
202: cz_fce_compile.h_inst('iconst_3') := cz_fce_compile_utils.unsigned_byte (6);
203: cz_fce_compile.h_inst('iconst_4') := cz_fce_compile_utils.unsigned_byte (7);
204: cz_fce_compile.h_inst('iconst_5') := cz_fce_compile_utils.unsigned_byte (8);
205: cz_fce_compile.h_inst('bipush') := cz_fce_compile_utils.unsigned_byte (16);
206: cz_fce_compile.h_inst('sipush') := cz_fce_compile_utils.unsigned_byte (17);
207: cz_fce_compile.h_inst('ldc') := cz_fce_compile_utils.unsigned_byte (18);
208: cz_fce_compile.h_inst('ldc_w') := cz_fce_compile_utils.unsigned_byte (19);
209: cz_fce_compile.h_inst('aload') := cz_fce_compile_utils.unsigned_byte (25);
202: cz_fce_compile.h_inst('iconst_3') := cz_fce_compile_utils.unsigned_byte (6);
203: cz_fce_compile.h_inst('iconst_4') := cz_fce_compile_utils.unsigned_byte (7);
204: cz_fce_compile.h_inst('iconst_5') := cz_fce_compile_utils.unsigned_byte (8);
205: cz_fce_compile.h_inst('bipush') := cz_fce_compile_utils.unsigned_byte (16);
206: cz_fce_compile.h_inst('sipush') := cz_fce_compile_utils.unsigned_byte (17);
207: cz_fce_compile.h_inst('ldc') := cz_fce_compile_utils.unsigned_byte (18);
208: cz_fce_compile.h_inst('ldc_w') := cz_fce_compile_utils.unsigned_byte (19);
209: cz_fce_compile.h_inst('aload') := cz_fce_compile_utils.unsigned_byte (25);
210: cz_fce_compile.h_inst('aload_0') := cz_fce_compile_utils.unsigned_byte (42);
203: cz_fce_compile.h_inst('iconst_4') := cz_fce_compile_utils.unsigned_byte (7);
204: cz_fce_compile.h_inst('iconst_5') := cz_fce_compile_utils.unsigned_byte (8);
205: cz_fce_compile.h_inst('bipush') := cz_fce_compile_utils.unsigned_byte (16);
206: cz_fce_compile.h_inst('sipush') := cz_fce_compile_utils.unsigned_byte (17);
207: cz_fce_compile.h_inst('ldc') := cz_fce_compile_utils.unsigned_byte (18);
208: cz_fce_compile.h_inst('ldc_w') := cz_fce_compile_utils.unsigned_byte (19);
209: cz_fce_compile.h_inst('aload') := cz_fce_compile_utils.unsigned_byte (25);
210: cz_fce_compile.h_inst('aload_0') := cz_fce_compile_utils.unsigned_byte (42);
211: cz_fce_compile.h_inst('aload_1') := cz_fce_compile_utils.unsigned_byte (43);
204: cz_fce_compile.h_inst('iconst_5') := cz_fce_compile_utils.unsigned_byte (8);
205: cz_fce_compile.h_inst('bipush') := cz_fce_compile_utils.unsigned_byte (16);
206: cz_fce_compile.h_inst('sipush') := cz_fce_compile_utils.unsigned_byte (17);
207: cz_fce_compile.h_inst('ldc') := cz_fce_compile_utils.unsigned_byte (18);
208: cz_fce_compile.h_inst('ldc_w') := cz_fce_compile_utils.unsigned_byte (19);
209: cz_fce_compile.h_inst('aload') := cz_fce_compile_utils.unsigned_byte (25);
210: cz_fce_compile.h_inst('aload_0') := cz_fce_compile_utils.unsigned_byte (42);
211: cz_fce_compile.h_inst('aload_1') := cz_fce_compile_utils.unsigned_byte (43);
212: cz_fce_compile.h_inst('aload_2') := cz_fce_compile_utils.unsigned_byte (44);
205: cz_fce_compile.h_inst('bipush') := cz_fce_compile_utils.unsigned_byte (16);
206: cz_fce_compile.h_inst('sipush') := cz_fce_compile_utils.unsigned_byte (17);
207: cz_fce_compile.h_inst('ldc') := cz_fce_compile_utils.unsigned_byte (18);
208: cz_fce_compile.h_inst('ldc_w') := cz_fce_compile_utils.unsigned_byte (19);
209: cz_fce_compile.h_inst('aload') := cz_fce_compile_utils.unsigned_byte (25);
210: cz_fce_compile.h_inst('aload_0') := cz_fce_compile_utils.unsigned_byte (42);
211: cz_fce_compile.h_inst('aload_1') := cz_fce_compile_utils.unsigned_byte (43);
212: cz_fce_compile.h_inst('aload_2') := cz_fce_compile_utils.unsigned_byte (44);
213: cz_fce_compile.h_inst('aload_3') := cz_fce_compile_utils.unsigned_byte (45);
206: cz_fce_compile.h_inst('sipush') := cz_fce_compile_utils.unsigned_byte (17);
207: cz_fce_compile.h_inst('ldc') := cz_fce_compile_utils.unsigned_byte (18);
208: cz_fce_compile.h_inst('ldc_w') := cz_fce_compile_utils.unsigned_byte (19);
209: cz_fce_compile.h_inst('aload') := cz_fce_compile_utils.unsigned_byte (25);
210: cz_fce_compile.h_inst('aload_0') := cz_fce_compile_utils.unsigned_byte (42);
211: cz_fce_compile.h_inst('aload_1') := cz_fce_compile_utils.unsigned_byte (43);
212: cz_fce_compile.h_inst('aload_2') := cz_fce_compile_utils.unsigned_byte (44);
213: cz_fce_compile.h_inst('aload_3') := cz_fce_compile_utils.unsigned_byte (45);
214: cz_fce_compile.h_inst('aaload') := cz_fce_compile_utils.unsigned_byte (50);
207: cz_fce_compile.h_inst('ldc') := cz_fce_compile_utils.unsigned_byte (18);
208: cz_fce_compile.h_inst('ldc_w') := cz_fce_compile_utils.unsigned_byte (19);
209: cz_fce_compile.h_inst('aload') := cz_fce_compile_utils.unsigned_byte (25);
210: cz_fce_compile.h_inst('aload_0') := cz_fce_compile_utils.unsigned_byte (42);
211: cz_fce_compile.h_inst('aload_1') := cz_fce_compile_utils.unsigned_byte (43);
212: cz_fce_compile.h_inst('aload_2') := cz_fce_compile_utils.unsigned_byte (44);
213: cz_fce_compile.h_inst('aload_3') := cz_fce_compile_utils.unsigned_byte (45);
214: cz_fce_compile.h_inst('aaload') := cz_fce_compile_utils.unsigned_byte (50);
215: cz_fce_compile.h_inst('astore') := cz_fce_compile_utils.unsigned_byte (58);
208: cz_fce_compile.h_inst('ldc_w') := cz_fce_compile_utils.unsigned_byte (19);
209: cz_fce_compile.h_inst('aload') := cz_fce_compile_utils.unsigned_byte (25);
210: cz_fce_compile.h_inst('aload_0') := cz_fce_compile_utils.unsigned_byte (42);
211: cz_fce_compile.h_inst('aload_1') := cz_fce_compile_utils.unsigned_byte (43);
212: cz_fce_compile.h_inst('aload_2') := cz_fce_compile_utils.unsigned_byte (44);
213: cz_fce_compile.h_inst('aload_3') := cz_fce_compile_utils.unsigned_byte (45);
214: cz_fce_compile.h_inst('aaload') := cz_fce_compile_utils.unsigned_byte (50);
215: cz_fce_compile.h_inst('astore') := cz_fce_compile_utils.unsigned_byte (58);
216: cz_fce_compile.h_inst('astore_0') := cz_fce_compile_utils.unsigned_byte (75);
209: cz_fce_compile.h_inst('aload') := cz_fce_compile_utils.unsigned_byte (25);
210: cz_fce_compile.h_inst('aload_0') := cz_fce_compile_utils.unsigned_byte (42);
211: cz_fce_compile.h_inst('aload_1') := cz_fce_compile_utils.unsigned_byte (43);
212: cz_fce_compile.h_inst('aload_2') := cz_fce_compile_utils.unsigned_byte (44);
213: cz_fce_compile.h_inst('aload_3') := cz_fce_compile_utils.unsigned_byte (45);
214: cz_fce_compile.h_inst('aaload') := cz_fce_compile_utils.unsigned_byte (50);
215: cz_fce_compile.h_inst('astore') := cz_fce_compile_utils.unsigned_byte (58);
216: cz_fce_compile.h_inst('astore_0') := cz_fce_compile_utils.unsigned_byte (75);
217: cz_fce_compile.h_inst('astore_1') := cz_fce_compile_utils.unsigned_byte (76);
210: cz_fce_compile.h_inst('aload_0') := cz_fce_compile_utils.unsigned_byte (42);
211: cz_fce_compile.h_inst('aload_1') := cz_fce_compile_utils.unsigned_byte (43);
212: cz_fce_compile.h_inst('aload_2') := cz_fce_compile_utils.unsigned_byte (44);
213: cz_fce_compile.h_inst('aload_3') := cz_fce_compile_utils.unsigned_byte (45);
214: cz_fce_compile.h_inst('aaload') := cz_fce_compile_utils.unsigned_byte (50);
215: cz_fce_compile.h_inst('astore') := cz_fce_compile_utils.unsigned_byte (58);
216: cz_fce_compile.h_inst('astore_0') := cz_fce_compile_utils.unsigned_byte (75);
217: cz_fce_compile.h_inst('astore_1') := cz_fce_compile_utils.unsigned_byte (76);
218: cz_fce_compile.h_inst('astore_2') := cz_fce_compile_utils.unsigned_byte (77);
211: cz_fce_compile.h_inst('aload_1') := cz_fce_compile_utils.unsigned_byte (43);
212: cz_fce_compile.h_inst('aload_2') := cz_fce_compile_utils.unsigned_byte (44);
213: cz_fce_compile.h_inst('aload_3') := cz_fce_compile_utils.unsigned_byte (45);
214: cz_fce_compile.h_inst('aaload') := cz_fce_compile_utils.unsigned_byte (50);
215: cz_fce_compile.h_inst('astore') := cz_fce_compile_utils.unsigned_byte (58);
216: cz_fce_compile.h_inst('astore_0') := cz_fce_compile_utils.unsigned_byte (75);
217: cz_fce_compile.h_inst('astore_1') := cz_fce_compile_utils.unsigned_byte (76);
218: cz_fce_compile.h_inst('astore_2') := cz_fce_compile_utils.unsigned_byte (77);
219: cz_fce_compile.h_inst('astore_3') := cz_fce_compile_utils.unsigned_byte (78);
212: cz_fce_compile.h_inst('aload_2') := cz_fce_compile_utils.unsigned_byte (44);
213: cz_fce_compile.h_inst('aload_3') := cz_fce_compile_utils.unsigned_byte (45);
214: cz_fce_compile.h_inst('aaload') := cz_fce_compile_utils.unsigned_byte (50);
215: cz_fce_compile.h_inst('astore') := cz_fce_compile_utils.unsigned_byte (58);
216: cz_fce_compile.h_inst('astore_0') := cz_fce_compile_utils.unsigned_byte (75);
217: cz_fce_compile.h_inst('astore_1') := cz_fce_compile_utils.unsigned_byte (76);
218: cz_fce_compile.h_inst('astore_2') := cz_fce_compile_utils.unsigned_byte (77);
219: cz_fce_compile.h_inst('astore_3') := cz_fce_compile_utils.unsigned_byte (78);
220: cz_fce_compile.h_inst('aastore') := cz_fce_compile_utils.unsigned_byte (83);
213: cz_fce_compile.h_inst('aload_3') := cz_fce_compile_utils.unsigned_byte (45);
214: cz_fce_compile.h_inst('aaload') := cz_fce_compile_utils.unsigned_byte (50);
215: cz_fce_compile.h_inst('astore') := cz_fce_compile_utils.unsigned_byte (58);
216: cz_fce_compile.h_inst('astore_0') := cz_fce_compile_utils.unsigned_byte (75);
217: cz_fce_compile.h_inst('astore_1') := cz_fce_compile_utils.unsigned_byte (76);
218: cz_fce_compile.h_inst('astore_2') := cz_fce_compile_utils.unsigned_byte (77);
219: cz_fce_compile.h_inst('astore_3') := cz_fce_compile_utils.unsigned_byte (78);
220: cz_fce_compile.h_inst('aastore') := cz_fce_compile_utils.unsigned_byte (83);
221: cz_fce_compile.h_inst('pop') := cz_fce_compile_utils.unsigned_byte (87);
214: cz_fce_compile.h_inst('aaload') := cz_fce_compile_utils.unsigned_byte (50);
215: cz_fce_compile.h_inst('astore') := cz_fce_compile_utils.unsigned_byte (58);
216: cz_fce_compile.h_inst('astore_0') := cz_fce_compile_utils.unsigned_byte (75);
217: cz_fce_compile.h_inst('astore_1') := cz_fce_compile_utils.unsigned_byte (76);
218: cz_fce_compile.h_inst('astore_2') := cz_fce_compile_utils.unsigned_byte (77);
219: cz_fce_compile.h_inst('astore_3') := cz_fce_compile_utils.unsigned_byte (78);
220: cz_fce_compile.h_inst('aastore') := cz_fce_compile_utils.unsigned_byte (83);
221: cz_fce_compile.h_inst('pop') := cz_fce_compile_utils.unsigned_byte (87);
222: cz_fce_compile.h_inst('mpop') := cz_fce_compile_utils.unsigned_byte (88);
215: cz_fce_compile.h_inst('astore') := cz_fce_compile_utils.unsigned_byte (58);
216: cz_fce_compile.h_inst('astore_0') := cz_fce_compile_utils.unsigned_byte (75);
217: cz_fce_compile.h_inst('astore_1') := cz_fce_compile_utils.unsigned_byte (76);
218: cz_fce_compile.h_inst('astore_2') := cz_fce_compile_utils.unsigned_byte (77);
219: cz_fce_compile.h_inst('astore_3') := cz_fce_compile_utils.unsigned_byte (78);
220: cz_fce_compile.h_inst('aastore') := cz_fce_compile_utils.unsigned_byte (83);
221: cz_fce_compile.h_inst('pop') := cz_fce_compile_utils.unsigned_byte (87);
222: cz_fce_compile.h_inst('mpop') := cz_fce_compile_utils.unsigned_byte (88);
223: cz_fce_compile.h_inst('dup') := cz_fce_compile_utils.unsigned_byte (89);
216: cz_fce_compile.h_inst('astore_0') := cz_fce_compile_utils.unsigned_byte (75);
217: cz_fce_compile.h_inst('astore_1') := cz_fce_compile_utils.unsigned_byte (76);
218: cz_fce_compile.h_inst('astore_2') := cz_fce_compile_utils.unsigned_byte (77);
219: cz_fce_compile.h_inst('astore_3') := cz_fce_compile_utils.unsigned_byte (78);
220: cz_fce_compile.h_inst('aastore') := cz_fce_compile_utils.unsigned_byte (83);
221: cz_fce_compile.h_inst('pop') := cz_fce_compile_utils.unsigned_byte (87);
222: cz_fce_compile.h_inst('mpop') := cz_fce_compile_utils.unsigned_byte (88);
223: cz_fce_compile.h_inst('dup') := cz_fce_compile_utils.unsigned_byte (89);
224: cz_fce_compile.h_inst('swap') := cz_fce_compile_utils.unsigned_byte (95);
217: cz_fce_compile.h_inst('astore_1') := cz_fce_compile_utils.unsigned_byte (76);
218: cz_fce_compile.h_inst('astore_2') := cz_fce_compile_utils.unsigned_byte (77);
219: cz_fce_compile.h_inst('astore_3') := cz_fce_compile_utils.unsigned_byte (78);
220: cz_fce_compile.h_inst('aastore') := cz_fce_compile_utils.unsigned_byte (83);
221: cz_fce_compile.h_inst('pop') := cz_fce_compile_utils.unsigned_byte (87);
222: cz_fce_compile.h_inst('mpop') := cz_fce_compile_utils.unsigned_byte (88);
223: cz_fce_compile.h_inst('dup') := cz_fce_compile_utils.unsigned_byte (89);
224: cz_fce_compile.h_inst('swap') := cz_fce_compile_utils.unsigned_byte (95);
225: cz_fce_compile.h_inst('ret') := cz_fce_compile_utils.unsigned_byte (169);
218: cz_fce_compile.h_inst('astore_2') := cz_fce_compile_utils.unsigned_byte (77);
219: cz_fce_compile.h_inst('astore_3') := cz_fce_compile_utils.unsigned_byte (78);
220: cz_fce_compile.h_inst('aastore') := cz_fce_compile_utils.unsigned_byte (83);
221: cz_fce_compile.h_inst('pop') := cz_fce_compile_utils.unsigned_byte (87);
222: cz_fce_compile.h_inst('mpop') := cz_fce_compile_utils.unsigned_byte (88);
223: cz_fce_compile.h_inst('dup') := cz_fce_compile_utils.unsigned_byte (89);
224: cz_fce_compile.h_inst('swap') := cz_fce_compile_utils.unsigned_byte (95);
225: cz_fce_compile.h_inst('ret') := cz_fce_compile_utils.unsigned_byte (169);
226: cz_fce_compile.h_inst('areturn') := cz_fce_compile_utils.unsigned_byte (176);
219: cz_fce_compile.h_inst('astore_3') := cz_fce_compile_utils.unsigned_byte (78);
220: cz_fce_compile.h_inst('aastore') := cz_fce_compile_utils.unsigned_byte (83);
221: cz_fce_compile.h_inst('pop') := cz_fce_compile_utils.unsigned_byte (87);
222: cz_fce_compile.h_inst('mpop') := cz_fce_compile_utils.unsigned_byte (88);
223: cz_fce_compile.h_inst('dup') := cz_fce_compile_utils.unsigned_byte (89);
224: cz_fce_compile.h_inst('swap') := cz_fce_compile_utils.unsigned_byte (95);
225: cz_fce_compile.h_inst('ret') := cz_fce_compile_utils.unsigned_byte (169);
226: cz_fce_compile.h_inst('areturn') := cz_fce_compile_utils.unsigned_byte (176);
227: cz_fce_compile.h_inst('invokevirtual') := cz_fce_compile_utils.unsigned_byte (182);
220: cz_fce_compile.h_inst('aastore') := cz_fce_compile_utils.unsigned_byte (83);
221: cz_fce_compile.h_inst('pop') := cz_fce_compile_utils.unsigned_byte (87);
222: cz_fce_compile.h_inst('mpop') := cz_fce_compile_utils.unsigned_byte (88);
223: cz_fce_compile.h_inst('dup') := cz_fce_compile_utils.unsigned_byte (89);
224: cz_fce_compile.h_inst('swap') := cz_fce_compile_utils.unsigned_byte (95);
225: cz_fce_compile.h_inst('ret') := cz_fce_compile_utils.unsigned_byte (169);
226: cz_fce_compile.h_inst('areturn') := cz_fce_compile_utils.unsigned_byte (176);
227: cz_fce_compile.h_inst('invokevirtual') := cz_fce_compile_utils.unsigned_byte (182);
228: cz_fce_compile.h_inst('invokestatic') := cz_fce_compile_utils.unsigned_byte (184);
221: cz_fce_compile.h_inst('pop') := cz_fce_compile_utils.unsigned_byte (87);
222: cz_fce_compile.h_inst('mpop') := cz_fce_compile_utils.unsigned_byte (88);
223: cz_fce_compile.h_inst('dup') := cz_fce_compile_utils.unsigned_byte (89);
224: cz_fce_compile.h_inst('swap') := cz_fce_compile_utils.unsigned_byte (95);
225: cz_fce_compile.h_inst('ret') := cz_fce_compile_utils.unsigned_byte (169);
226: cz_fce_compile.h_inst('areturn') := cz_fce_compile_utils.unsigned_byte (176);
227: cz_fce_compile.h_inst('invokevirtual') := cz_fce_compile_utils.unsigned_byte (182);
228: cz_fce_compile.h_inst('invokestatic') := cz_fce_compile_utils.unsigned_byte (184);
229: cz_fce_compile.h_inst('newarray') := cz_fce_compile_utils.unsigned_byte (188);
222: cz_fce_compile.h_inst('mpop') := cz_fce_compile_utils.unsigned_byte (88);
223: cz_fce_compile.h_inst('dup') := cz_fce_compile_utils.unsigned_byte (89);
224: cz_fce_compile.h_inst('swap') := cz_fce_compile_utils.unsigned_byte (95);
225: cz_fce_compile.h_inst('ret') := cz_fce_compile_utils.unsigned_byte (169);
226: cz_fce_compile.h_inst('areturn') := cz_fce_compile_utils.unsigned_byte (176);
227: cz_fce_compile.h_inst('invokevirtual') := cz_fce_compile_utils.unsigned_byte (182);
228: cz_fce_compile.h_inst('invokestatic') := cz_fce_compile_utils.unsigned_byte (184);
229: cz_fce_compile.h_inst('newarray') := cz_fce_compile_utils.unsigned_byte (188);
230: cz_fce_compile.h_inst('multinewarray') := cz_fce_compile_utils.unsigned_byte (202);
223: cz_fce_compile.h_inst('dup') := cz_fce_compile_utils.unsigned_byte (89);
224: cz_fce_compile.h_inst('swap') := cz_fce_compile_utils.unsigned_byte (95);
225: cz_fce_compile.h_inst('ret') := cz_fce_compile_utils.unsigned_byte (169);
226: cz_fce_compile.h_inst('areturn') := cz_fce_compile_utils.unsigned_byte (176);
227: cz_fce_compile.h_inst('invokevirtual') := cz_fce_compile_utils.unsigned_byte (182);
228: cz_fce_compile.h_inst('invokestatic') := cz_fce_compile_utils.unsigned_byte (184);
229: cz_fce_compile.h_inst('newarray') := cz_fce_compile_utils.unsigned_byte (188);
230: cz_fce_compile.h_inst('multinewarray') := cz_fce_compile_utils.unsigned_byte (202);
231: cz_fce_compile.h_inst('haload_0') := cz_fce_compile_utils.unsigned_byte (203);
224: cz_fce_compile.h_inst('swap') := cz_fce_compile_utils.unsigned_byte (95);
225: cz_fce_compile.h_inst('ret') := cz_fce_compile_utils.unsigned_byte (169);
226: cz_fce_compile.h_inst('areturn') := cz_fce_compile_utils.unsigned_byte (176);
227: cz_fce_compile.h_inst('invokevirtual') := cz_fce_compile_utils.unsigned_byte (182);
228: cz_fce_compile.h_inst('invokestatic') := cz_fce_compile_utils.unsigned_byte (184);
229: cz_fce_compile.h_inst('newarray') := cz_fce_compile_utils.unsigned_byte (188);
230: cz_fce_compile.h_inst('multinewarray') := cz_fce_compile_utils.unsigned_byte (202);
231: cz_fce_compile.h_inst('haload_0') := cz_fce_compile_utils.unsigned_byte (203);
232: cz_fce_compile.h_inst('hastore_0') := cz_fce_compile_utils.unsigned_byte (204);
225: cz_fce_compile.h_inst('ret') := cz_fce_compile_utils.unsigned_byte (169);
226: cz_fce_compile.h_inst('areturn') := cz_fce_compile_utils.unsigned_byte (176);
227: cz_fce_compile.h_inst('invokevirtual') := cz_fce_compile_utils.unsigned_byte (182);
228: cz_fce_compile.h_inst('invokestatic') := cz_fce_compile_utils.unsigned_byte (184);
229: cz_fce_compile.h_inst('newarray') := cz_fce_compile_utils.unsigned_byte (188);
230: cz_fce_compile.h_inst('multinewarray') := cz_fce_compile_utils.unsigned_byte (202);
231: cz_fce_compile.h_inst('haload_0') := cz_fce_compile_utils.unsigned_byte (203);
232: cz_fce_compile.h_inst('hastore_0') := cz_fce_compile_utils.unsigned_byte (204);
233: cz_fce_compile.h_inst('bulkaastore') := cz_fce_compile_utils.unsigned_byte (205);
226: cz_fce_compile.h_inst('areturn') := cz_fce_compile_utils.unsigned_byte (176);
227: cz_fce_compile.h_inst('invokevirtual') := cz_fce_compile_utils.unsigned_byte (182);
228: cz_fce_compile.h_inst('invokestatic') := cz_fce_compile_utils.unsigned_byte (184);
229: cz_fce_compile.h_inst('newarray') := cz_fce_compile_utils.unsigned_byte (188);
230: cz_fce_compile.h_inst('multinewarray') := cz_fce_compile_utils.unsigned_byte (202);
231: cz_fce_compile.h_inst('haload_0') := cz_fce_compile_utils.unsigned_byte (203);
232: cz_fce_compile.h_inst('hastore_0') := cz_fce_compile_utils.unsigned_byte (204);
233: cz_fce_compile.h_inst('bulkaastore') := cz_fce_compile_utils.unsigned_byte (205);
234: cz_fce_compile.h_inst('pushtrue') := cz_fce_compile_utils.unsigned_byte (206);
227: cz_fce_compile.h_inst('invokevirtual') := cz_fce_compile_utils.unsigned_byte (182);
228: cz_fce_compile.h_inst('invokestatic') := cz_fce_compile_utils.unsigned_byte (184);
229: cz_fce_compile.h_inst('newarray') := cz_fce_compile_utils.unsigned_byte (188);
230: cz_fce_compile.h_inst('multinewarray') := cz_fce_compile_utils.unsigned_byte (202);
231: cz_fce_compile.h_inst('haload_0') := cz_fce_compile_utils.unsigned_byte (203);
232: cz_fce_compile.h_inst('hastore_0') := cz_fce_compile_utils.unsigned_byte (204);
233: cz_fce_compile.h_inst('bulkaastore') := cz_fce_compile_utils.unsigned_byte (205);
234: cz_fce_compile.h_inst('pushtrue') := cz_fce_compile_utils.unsigned_byte (206);
235: cz_fce_compile.h_inst('pushfalse') := cz_fce_compile_utils.unsigned_byte (207);
228: cz_fce_compile.h_inst('invokestatic') := cz_fce_compile_utils.unsigned_byte (184);
229: cz_fce_compile.h_inst('newarray') := cz_fce_compile_utils.unsigned_byte (188);
230: cz_fce_compile.h_inst('multinewarray') := cz_fce_compile_utils.unsigned_byte (202);
231: cz_fce_compile.h_inst('haload_0') := cz_fce_compile_utils.unsigned_byte (203);
232: cz_fce_compile.h_inst('hastore_0') := cz_fce_compile_utils.unsigned_byte (204);
233: cz_fce_compile.h_inst('bulkaastore') := cz_fce_compile_utils.unsigned_byte (205);
234: cz_fce_compile.h_inst('pushtrue') := cz_fce_compile_utils.unsigned_byte (206);
235: cz_fce_compile.h_inst('pushfalse') := cz_fce_compile_utils.unsigned_byte (207);
236: cz_fce_compile.h_inst('pushmath') := cz_fce_compile_utils.unsigned_byte (208);
229: cz_fce_compile.h_inst('newarray') := cz_fce_compile_utils.unsigned_byte (188);
230: cz_fce_compile.h_inst('multinewarray') := cz_fce_compile_utils.unsigned_byte (202);
231: cz_fce_compile.h_inst('haload_0') := cz_fce_compile_utils.unsigned_byte (203);
232: cz_fce_compile.h_inst('hastore_0') := cz_fce_compile_utils.unsigned_byte (204);
233: cz_fce_compile.h_inst('bulkaastore') := cz_fce_compile_utils.unsigned_byte (205);
234: cz_fce_compile.h_inst('pushtrue') := cz_fce_compile_utils.unsigned_byte (206);
235: cz_fce_compile.h_inst('pushfalse') := cz_fce_compile_utils.unsigned_byte (207);
236: cz_fce_compile.h_inst('pushmath') := cz_fce_compile_utils.unsigned_byte (208);
237: cz_fce_compile.h_inst('haload_1') := cz_fce_compile_utils.unsigned_byte (209);
230: cz_fce_compile.h_inst('multinewarray') := cz_fce_compile_utils.unsigned_byte (202);
231: cz_fce_compile.h_inst('haload_0') := cz_fce_compile_utils.unsigned_byte (203);
232: cz_fce_compile.h_inst('hastore_0') := cz_fce_compile_utils.unsigned_byte (204);
233: cz_fce_compile.h_inst('bulkaastore') := cz_fce_compile_utils.unsigned_byte (205);
234: cz_fce_compile.h_inst('pushtrue') := cz_fce_compile_utils.unsigned_byte (206);
235: cz_fce_compile.h_inst('pushfalse') := cz_fce_compile_utils.unsigned_byte (207);
236: cz_fce_compile.h_inst('pushmath') := cz_fce_compile_utils.unsigned_byte (208);
237: cz_fce_compile.h_inst('haload_1') := cz_fce_compile_utils.unsigned_byte (209);
238: cz_fce_compile.h_inst('hastore_1') := cz_fce_compile_utils.unsigned_byte (210);
231: cz_fce_compile.h_inst('haload_0') := cz_fce_compile_utils.unsigned_byte (203);
232: cz_fce_compile.h_inst('hastore_0') := cz_fce_compile_utils.unsigned_byte (204);
233: cz_fce_compile.h_inst('bulkaastore') := cz_fce_compile_utils.unsigned_byte (205);
234: cz_fce_compile.h_inst('pushtrue') := cz_fce_compile_utils.unsigned_byte (206);
235: cz_fce_compile.h_inst('pushfalse') := cz_fce_compile_utils.unsigned_byte (207);
236: cz_fce_compile.h_inst('pushmath') := cz_fce_compile_utils.unsigned_byte (208);
237: cz_fce_compile.h_inst('haload_1') := cz_fce_compile_utils.unsigned_byte (209);
238: cz_fce_compile.h_inst('hastore_1') := cz_fce_compile_utils.unsigned_byte (210);
239: cz_fce_compile.h_inst('haload_2') := cz_fce_compile_utils.unsigned_byte (211);
232: cz_fce_compile.h_inst('hastore_0') := cz_fce_compile_utils.unsigned_byte (204);
233: cz_fce_compile.h_inst('bulkaastore') := cz_fce_compile_utils.unsigned_byte (205);
234: cz_fce_compile.h_inst('pushtrue') := cz_fce_compile_utils.unsigned_byte (206);
235: cz_fce_compile.h_inst('pushfalse') := cz_fce_compile_utils.unsigned_byte (207);
236: cz_fce_compile.h_inst('pushmath') := cz_fce_compile_utils.unsigned_byte (208);
237: cz_fce_compile.h_inst('haload_1') := cz_fce_compile_utils.unsigned_byte (209);
238: cz_fce_compile.h_inst('hastore_1') := cz_fce_compile_utils.unsigned_byte (210);
239: cz_fce_compile.h_inst('haload_2') := cz_fce_compile_utils.unsigned_byte (211);
240: cz_fce_compile.h_inst('copyto') := cz_fce_compile_utils.unsigned_byte (212);
233: cz_fce_compile.h_inst('bulkaastore') := cz_fce_compile_utils.unsigned_byte (205);
234: cz_fce_compile.h_inst('pushtrue') := cz_fce_compile_utils.unsigned_byte (206);
235: cz_fce_compile.h_inst('pushfalse') := cz_fce_compile_utils.unsigned_byte (207);
236: cz_fce_compile.h_inst('pushmath') := cz_fce_compile_utils.unsigned_byte (208);
237: cz_fce_compile.h_inst('haload_1') := cz_fce_compile_utils.unsigned_byte (209);
238: cz_fce_compile.h_inst('hastore_1') := cz_fce_compile_utils.unsigned_byte (210);
239: cz_fce_compile.h_inst('haload_2') := cz_fce_compile_utils.unsigned_byte (211);
240: cz_fce_compile.h_inst('copyto') := cz_fce_compile_utils.unsigned_byte (212);
241: cz_fce_compile.h_inst('copyto_0') := cz_fce_compile_utils.unsigned_byte (213);
234: cz_fce_compile.h_inst('pushtrue') := cz_fce_compile_utils.unsigned_byte (206);
235: cz_fce_compile.h_inst('pushfalse') := cz_fce_compile_utils.unsigned_byte (207);
236: cz_fce_compile.h_inst('pushmath') := cz_fce_compile_utils.unsigned_byte (208);
237: cz_fce_compile.h_inst('haload_1') := cz_fce_compile_utils.unsigned_byte (209);
238: cz_fce_compile.h_inst('hastore_1') := cz_fce_compile_utils.unsigned_byte (210);
239: cz_fce_compile.h_inst('haload_2') := cz_fce_compile_utils.unsigned_byte (211);
240: cz_fce_compile.h_inst('copyto') := cz_fce_compile_utils.unsigned_byte (212);
241: cz_fce_compile.h_inst('copyto_0') := cz_fce_compile_utils.unsigned_byte (213);
242: cz_fce_compile.h_inst('copyto_1') := cz_fce_compile_utils.unsigned_byte (214);
235: cz_fce_compile.h_inst('pushfalse') := cz_fce_compile_utils.unsigned_byte (207);
236: cz_fce_compile.h_inst('pushmath') := cz_fce_compile_utils.unsigned_byte (208);
237: cz_fce_compile.h_inst('haload_1') := cz_fce_compile_utils.unsigned_byte (209);
238: cz_fce_compile.h_inst('hastore_1') := cz_fce_compile_utils.unsigned_byte (210);
239: cz_fce_compile.h_inst('haload_2') := cz_fce_compile_utils.unsigned_byte (211);
240: cz_fce_compile.h_inst('copyto') := cz_fce_compile_utils.unsigned_byte (212);
241: cz_fce_compile.h_inst('copyto_0') := cz_fce_compile_utils.unsigned_byte (213);
242: cz_fce_compile.h_inst('copyto_1') := cz_fce_compile_utils.unsigned_byte (214);
243: cz_fce_compile.h_inst('copyto_2') := cz_fce_compile_utils.unsigned_byte (215);
236: cz_fce_compile.h_inst('pushmath') := cz_fce_compile_utils.unsigned_byte (208);
237: cz_fce_compile.h_inst('haload_1') := cz_fce_compile_utils.unsigned_byte (209);
238: cz_fce_compile.h_inst('hastore_1') := cz_fce_compile_utils.unsigned_byte (210);
239: cz_fce_compile.h_inst('haload_2') := cz_fce_compile_utils.unsigned_byte (211);
240: cz_fce_compile.h_inst('copyto') := cz_fce_compile_utils.unsigned_byte (212);
241: cz_fce_compile.h_inst('copyto_0') := cz_fce_compile_utils.unsigned_byte (213);
242: cz_fce_compile.h_inst('copyto_1') := cz_fce_compile_utils.unsigned_byte (214);
243: cz_fce_compile.h_inst('copyto_2') := cz_fce_compile_utils.unsigned_byte (215);
244: cz_fce_compile.h_inst('copyto_3') := cz_fce_compile_utils.unsigned_byte (216);
237: cz_fce_compile.h_inst('haload_1') := cz_fce_compile_utils.unsigned_byte (209);
238: cz_fce_compile.h_inst('hastore_1') := cz_fce_compile_utils.unsigned_byte (210);
239: cz_fce_compile.h_inst('haload_2') := cz_fce_compile_utils.unsigned_byte (211);
240: cz_fce_compile.h_inst('copyto') := cz_fce_compile_utils.unsigned_byte (212);
241: cz_fce_compile.h_inst('copyto_0') := cz_fce_compile_utils.unsigned_byte (213);
242: cz_fce_compile.h_inst('copyto_1') := cz_fce_compile_utils.unsigned_byte (214);
243: cz_fce_compile.h_inst('copyto_2') := cz_fce_compile_utils.unsigned_byte (215);
244: cz_fce_compile.h_inst('copyto_3') := cz_fce_compile_utils.unsigned_byte (216);
245: cz_fce_compile.h_inst('aload_w') := cz_fce_compile_utils.unsigned_byte (217);
238: cz_fce_compile.h_inst('hastore_1') := cz_fce_compile_utils.unsigned_byte (210);
239: cz_fce_compile.h_inst('haload_2') := cz_fce_compile_utils.unsigned_byte (211);
240: cz_fce_compile.h_inst('copyto') := cz_fce_compile_utils.unsigned_byte (212);
241: cz_fce_compile.h_inst('copyto_0') := cz_fce_compile_utils.unsigned_byte (213);
242: cz_fce_compile.h_inst('copyto_1') := cz_fce_compile_utils.unsigned_byte (214);
243: cz_fce_compile.h_inst('copyto_2') := cz_fce_compile_utils.unsigned_byte (215);
244: cz_fce_compile.h_inst('copyto_3') := cz_fce_compile_utils.unsigned_byte (216);
245: cz_fce_compile.h_inst('aload_w') := cz_fce_compile_utils.unsigned_byte (217);
246: cz_fce_compile.h_inst('astore_w') := cz_fce_compile_utils.unsigned_byte (218);
239: cz_fce_compile.h_inst('haload_2') := cz_fce_compile_utils.unsigned_byte (211);
240: cz_fce_compile.h_inst('copyto') := cz_fce_compile_utils.unsigned_byte (212);
241: cz_fce_compile.h_inst('copyto_0') := cz_fce_compile_utils.unsigned_byte (213);
242: cz_fce_compile.h_inst('copyto_1') := cz_fce_compile_utils.unsigned_byte (214);
243: cz_fce_compile.h_inst('copyto_2') := cz_fce_compile_utils.unsigned_byte (215);
244: cz_fce_compile.h_inst('copyto_3') := cz_fce_compile_utils.unsigned_byte (216);
245: cz_fce_compile.h_inst('aload_w') := cz_fce_compile_utils.unsigned_byte (217);
246: cz_fce_compile.h_inst('astore_w') := cz_fce_compile_utils.unsigned_byte (218);
247: cz_fce_compile.h_inst('copyto_w') := cz_fce_compile_utils.unsigned_byte (219);
240: cz_fce_compile.h_inst('copyto') := cz_fce_compile_utils.unsigned_byte (212);
241: cz_fce_compile.h_inst('copyto_0') := cz_fce_compile_utils.unsigned_byte (213);
242: cz_fce_compile.h_inst('copyto_1') := cz_fce_compile_utils.unsigned_byte (214);
243: cz_fce_compile.h_inst('copyto_2') := cz_fce_compile_utils.unsigned_byte (215);
244: cz_fce_compile.h_inst('copyto_3') := cz_fce_compile_utils.unsigned_byte (216);
245: cz_fce_compile.h_inst('aload_w') := cz_fce_compile_utils.unsigned_byte (217);
246: cz_fce_compile.h_inst('astore_w') := cz_fce_compile_utils.unsigned_byte (218);
247: cz_fce_compile.h_inst('copyto_w') := cz_fce_compile_utils.unsigned_byte (219);
248: cz_fce_compile.h_inst('comment') := cz_fce_compile_utils.unsigned_byte (220);
241: cz_fce_compile.h_inst('copyto_0') := cz_fce_compile_utils.unsigned_byte (213);
242: cz_fce_compile.h_inst('copyto_1') := cz_fce_compile_utils.unsigned_byte (214);
243: cz_fce_compile.h_inst('copyto_2') := cz_fce_compile_utils.unsigned_byte (215);
244: cz_fce_compile.h_inst('copyto_3') := cz_fce_compile_utils.unsigned_byte (216);
245: cz_fce_compile.h_inst('aload_w') := cz_fce_compile_utils.unsigned_byte (217);
246: cz_fce_compile.h_inst('astore_w') := cz_fce_compile_utils.unsigned_byte (218);
247: cz_fce_compile.h_inst('copyto_w') := cz_fce_compile_utils.unsigned_byte (219);
248: cz_fce_compile.h_inst('comment') := cz_fce_compile_utils.unsigned_byte (220);
249:
242: cz_fce_compile.h_inst('copyto_1') := cz_fce_compile_utils.unsigned_byte (214);
243: cz_fce_compile.h_inst('copyto_2') := cz_fce_compile_utils.unsigned_byte (215);
244: cz_fce_compile.h_inst('copyto_3') := cz_fce_compile_utils.unsigned_byte (216);
245: cz_fce_compile.h_inst('aload_w') := cz_fce_compile_utils.unsigned_byte (217);
246: cz_fce_compile.h_inst('astore_w') := cz_fce_compile_utils.unsigned_byte (218);
247: cz_fce_compile.h_inst('copyto_w') := cz_fce_compile_utils.unsigned_byte (219);
248: cz_fce_compile.h_inst('comment') := cz_fce_compile_utils.unsigned_byte (220);
249:
250: cz_fce_compile.h_methoddescriptors('Solver.createModelDef(String)') := 1;
243: cz_fce_compile.h_inst('copyto_2') := cz_fce_compile_utils.unsigned_byte (215);
244: cz_fce_compile.h_inst('copyto_3') := cz_fce_compile_utils.unsigned_byte (216);
245: cz_fce_compile.h_inst('aload_w') := cz_fce_compile_utils.unsigned_byte (217);
246: cz_fce_compile.h_inst('astore_w') := cz_fce_compile_utils.unsigned_byte (218);
247: cz_fce_compile.h_inst('copyto_w') := cz_fce_compile_utils.unsigned_byte (219);
248: cz_fce_compile.h_inst('comment') := cz_fce_compile_utils.unsigned_byte (220);
249:
250: cz_fce_compile.h_methoddescriptors('Solver.createModelDef(String)') := 1;
251: cz_fce_compile.h_methoddescriptors('IModelDef.intVar(String, int, int)') := 2;
244: cz_fce_compile.h_inst('copyto_3') := cz_fce_compile_utils.unsigned_byte (216);
245: cz_fce_compile.h_inst('aload_w') := cz_fce_compile_utils.unsigned_byte (217);
246: cz_fce_compile.h_inst('astore_w') := cz_fce_compile_utils.unsigned_byte (218);
247: cz_fce_compile.h_inst('copyto_w') := cz_fce_compile_utils.unsigned_byte (219);
248: cz_fce_compile.h_inst('comment') := cz_fce_compile_utils.unsigned_byte (220);
249:
250: cz_fce_compile.h_methoddescriptors('Solver.createModelDef(String)') := 1;
251: cz_fce_compile.h_methoddescriptors('IModelDef.intVar(String, int, int)') := 2;
252: cz_fce_compile.h_methoddescriptors('IModelDef.logicVar(String)') := 3;