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