(in-package "ACL2")

;; TODO: Flesh this out to actually have some tests, e.g., using assert-equal.

(include-book "control-flow")

;TODO: separate out
;from aes
(defconst *code*
  '((0 :ALOAD_0)
    (1 :DUP)
    (2 :GETFIELD
       "org.bouncycastle.crypto.engines.AESLightEngine"
       "C0" NIL)
    (5 :ALOAD_1)
    (6 :ICONST_0)
    (7 :AALOAD)
    (8 :ICONST_0)
    (9 :IALOAD)
    (10 :IXOR)
    (11 :PUTFIELD
        "org.bouncycastle.crypto.engines.AESLightEngine"
        "C0" NIL)
    (14 :ALOAD_0)
    (15 :DUP)
    (16 :GETFIELD
        "org.bouncycastle.crypto.engines.AESLightEngine"
        "C1" NIL)
    (19 :ALOAD_1)
    (20 :ICONST_0)
    (21 :AALOAD)
    (22 :ICONST_1)
    (23 :IALOAD)
    (24 :IXOR)
    (25 :PUTFIELD
        "org.bouncycastle.crypto.engines.AESLightEngine"
        "C1" NIL)
    (28 :ALOAD_0)
    (29 :DUP)
    (30 :GETFIELD
        "org.bouncycastle.crypto.engines.AESLightEngine"
        "C2" NIL)
    (33 :ALOAD_1)
    (34 :ICONST_0)
    (35 :AALOAD)
    (36 :ICONST_2)
    (37 :IALOAD)
    (38 :IXOR)
    (39 :PUTFIELD
        "org.bouncycastle.crypto.engines.AESLightEngine"
        "C2" NIL)
    (42 :ALOAD_0)
    (43 :DUP)
    (44 :GETFIELD
        "org.bouncycastle.crypto.engines.AESLightEngine"
        "C3" NIL)
    (47 :ALOAD_1)
    (48 :ICONST_0)
    (49 :AALOAD)
    (50 :ICONST_3)
    (51 :IALOAD)
    (52 :IXOR)
    (53 :PUTFIELD
        "org.bouncycastle.crypto.engines.AESLightEngine"
        "C3" NIL)
    (56 :ICONST_1)
    (57 :ISTORE_2)
    (58 :GOTO 724)
    (61 :ALOAD_0)
    (62 :GETSTATIC
        "org.bouncycastle.crypto.engines.AESLightEngine"
        "S" NIL)
    (65 :ALOAD_0)
    (66 :GETFIELD
        "org.bouncycastle.crypto.engines.AESLightEngine"
        "C0" NIL)
    (69 :SIPUSH 255)
    (72 :IAND)
    (73 :BALOAD)
    (74 :SIPUSH 255)
    (77 :IAND)
    (78 :GETSTATIC
        "org.bouncycastle.crypto.engines.AESLightEngine"
        "S" NIL)
    (81 :ALOAD_0)
    (82 :GETFIELD
        "org.bouncycastle.crypto.engines.AESLightEngine"
        "C1" NIL)
    (85 :BIPUSH 8)
    (87 :ISHR)
    (88 :SIPUSH 255)
    (91 :IAND)
    (92 :BALOAD)
    (93 :SIPUSH 255)
    (96 :IAND)
    (97 :BIPUSH 8)
    (99 :ISHL)
    (100 :IXOR)
    (101 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (104 :ALOAD_0)
    (105 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C2" NIL)
    (108 :BIPUSH 16)
    (110 :ISHR)
    (111 :SIPUSH 255)
    (114 :IAND)
    (115 :BALOAD)
    (116 :SIPUSH 255)
    (119 :IAND)
    (120 :BIPUSH 16)
    (122 :ISHL)
    (123 :IXOR)
    (124 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (127 :ALOAD_0)
    (128 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C3" NIL)
    (131 :BIPUSH 24)
    (133 :ISHR)
    (134 :SIPUSH 255)
    (137 :IAND)
    (138 :BALOAD)
    (139 :BIPUSH 24)
    (141 :ISHL)
    (142 :IXOR)
    (143 :INVOKESPECIAL
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "mcol" "(I)I" 1)
    (146 :ALOAD_1)
    (147 :ILOAD_2)
    (148 :AALOAD)
    (149 :ICONST_0)
    (150 :IALOAD)
    (151 :IXOR)
    (152 :ISTORE_3)
    (153 :ALOAD_0)
    (154 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (157 :ALOAD_0)
    (158 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C1" NIL)
    (161 :SIPUSH 255)
    (164 :IAND)
    (165 :BALOAD)
    (166 :SIPUSH 255)
    (169 :IAND)
    (170 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (173 :ALOAD_0)
    (174 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C2" NIL)
    (177 :BIPUSH 8)
    (179 :ISHR)
    (180 :SIPUSH 255)
    (183 :IAND)
    (184 :BALOAD)
    (185 :SIPUSH 255)
    (188 :IAND)
    (189 :BIPUSH 8)
    (191 :ISHL)
    (192 :IXOR)
    (193 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (196 :ALOAD_0)
    (197 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C3" NIL)
    (200 :BIPUSH 16)
    (202 :ISHR)
    (203 :SIPUSH 255)
    (206 :IAND)
    (207 :BALOAD)
    (208 :SIPUSH 255)
    (211 :IAND)
    (212 :BIPUSH 16)
    (214 :ISHL)
    (215 :IXOR)
    (216 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (219 :ALOAD_0)
    (220 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C0" NIL)
    (223 :BIPUSH 24)
    (225 :ISHR)
    (226 :SIPUSH 255)
    (229 :IAND)
    (230 :BALOAD)
    (231 :BIPUSH 24)
    (233 :ISHL)
    (234 :IXOR)
    (235 :INVOKESPECIAL
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "mcol" "(I)I" 1)
    (238 :ALOAD_1)
    (239 :ILOAD_2)
    (240 :AALOAD)
    (241 :ICONST_1)
    (242 :IALOAD)
    (243 :IXOR)
    (244 :ISTORE 4)
    (246 :ALOAD_0)
    (247 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (250 :ALOAD_0)
    (251 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C2" NIL)
    (254 :SIPUSH 255)
    (257 :IAND)
    (258 :BALOAD)
    (259 :SIPUSH 255)
    (262 :IAND)
    (263 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (266 :ALOAD_0)
    (267 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C3" NIL)
    (270 :BIPUSH 8)
    (272 :ISHR)
    (273 :SIPUSH 255)
    (276 :IAND)
    (277 :BALOAD)
    (278 :SIPUSH 255)
    (281 :IAND)
    (282 :BIPUSH 8)
    (284 :ISHL)
    (285 :IXOR)
    (286 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (289 :ALOAD_0)
    (290 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C0" NIL)
    (293 :BIPUSH 16)
    (295 :ISHR)
    (296 :SIPUSH 255)
    (299 :IAND)
    (300 :BALOAD)
    (301 :SIPUSH 255)
    (304 :IAND)
    (305 :BIPUSH 16)
    (307 :ISHL)
    (308 :IXOR)
    (309 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (312 :ALOAD_0)
    (313 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C1" NIL)
    (316 :BIPUSH 24)
    (318 :ISHR)
    (319 :SIPUSH 255)
    (322 :IAND)
    (323 :BALOAD)
    (324 :BIPUSH 24)
    (326 :ISHL)
    (327 :IXOR)
    (328 :INVOKESPECIAL
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "mcol" "(I)I" 1)
    (331 :ALOAD_1)
    (332 :ILOAD_2)
    (333 :AALOAD)
    (334 :ICONST_2)
    (335 :IALOAD)
    (336 :IXOR)
    (337 :ISTORE 5)
    (339 :ALOAD_0)
    (340 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (343 :ALOAD_0)
    (344 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C3" NIL)
    (347 :SIPUSH 255)
    (350 :IAND)
    (351 :BALOAD)
    (352 :SIPUSH 255)
    (355 :IAND)
    (356 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (359 :ALOAD_0)
    (360 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C0" NIL)
    (363 :BIPUSH 8)
    (365 :ISHR)
    (366 :SIPUSH 255)
    (369 :IAND)
    (370 :BALOAD)
    (371 :SIPUSH 255)
    (374 :IAND)
    (375 :BIPUSH 8)
    (377 :ISHL)
    (378 :IXOR)
    (379 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (382 :ALOAD_0)
    (383 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C1" NIL)
    (386 :BIPUSH 16)
    (388 :ISHR)
    (389 :SIPUSH 255)
    (392 :IAND)
    (393 :BALOAD)
    (394 :SIPUSH 255)
    (397 :IAND)
    (398 :BIPUSH 16)
    (400 :ISHL)
    (401 :IXOR)
    (402 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (405 :ALOAD_0)
    (406 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C2" NIL)
    (409 :BIPUSH 24)
    (411 :ISHR)
    (412 :SIPUSH 255)
    (415 :IAND)
    (416 :BALOAD)
    (417 :BIPUSH 24)
    (419 :ISHL)
    (420 :IXOR)
    (421 :INVOKESPECIAL
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "mcol" "(I)I" 1)
    (424 :ALOAD_1)
    (425 :ILOAD_2)
    (426 :IINC 2 1)
    (429 :AALOAD)
    (430 :ICONST_3)
    (431 :IALOAD)
    (432 :IXOR)
    (433 :ISTORE 6)
    (435 :ALOAD_0)
    (436 :ALOAD_0)
    (437 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (440 :ILOAD_3)
    (441 :SIPUSH 255)
    (444 :IAND)
    (445 :BALOAD)
    (446 :SIPUSH 255)
    (449 :IAND)
    (450 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (453 :ILOAD 4)
    (455 :BIPUSH 8)
    (457 :ISHR)
    (458 :SIPUSH 255)
    (461 :IAND)
    (462 :BALOAD)
    (463 :SIPUSH 255)
    (466 :IAND)
    (467 :BIPUSH 8)
    (469 :ISHL)
    (470 :IXOR)
    (471 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (474 :ILOAD 5)
    (476 :BIPUSH 16)
    (478 :ISHR)
    (479 :SIPUSH 255)
    (482 :IAND)
    (483 :BALOAD)
    (484 :SIPUSH 255)
    (487 :IAND)
    (488 :BIPUSH 16)
    (490 :ISHL)
    (491 :IXOR)
    (492 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (495 :ILOAD 6)
    (497 :BIPUSH 24)
    (499 :ISHR)
    (500 :SIPUSH 255)
    (503 :IAND)
    (504 :BALOAD)
    (505 :BIPUSH 24)
    (507 :ISHL)
    (508 :IXOR)
    (509 :INVOKESPECIAL
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "mcol" "(I)I" 1)
    (512 :ALOAD_1)
    (513 :ILOAD_2)
    (514 :AALOAD)
    (515 :ICONST_0)
    (516 :IALOAD)
    (517 :IXOR)
    (518 :PUTFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C0" NIL)
    (521 :ALOAD_0)
    (522 :ALOAD_0)
    (523 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (526 :ILOAD 4)
    (528 :SIPUSH 255)
    (531 :IAND)
    (532 :BALOAD)
    (533 :SIPUSH 255)
    (536 :IAND)
    (537 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (540 :ILOAD 5)
    (542 :BIPUSH 8)
    (544 :ISHR)
    (545 :SIPUSH 255)
    (548 :IAND)
    (549 :BALOAD)
    (550 :SIPUSH 255)
    (553 :IAND)
    (554 :BIPUSH 8)
    (556 :ISHL)
    (557 :IXOR)
    (558 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (561 :ILOAD 6)
    (563 :BIPUSH 16)
    (565 :ISHR)
    (566 :SIPUSH 255)
    (569 :IAND)
    (570 :BALOAD)
    (571 :SIPUSH 255)
    (574 :IAND)
    (575 :BIPUSH 16)
    (577 :ISHL)
    (578 :IXOR)
    (579 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (582 :ILOAD_3)
    (583 :BIPUSH 24)
    (585 :ISHR)
    (586 :SIPUSH 255)
    (589 :IAND)
    (590 :BALOAD)
    (591 :BIPUSH 24)
    (593 :ISHL)
    (594 :IXOR)
    (595 :INVOKESPECIAL
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "mcol" "(I)I" 1)
    (598 :ALOAD_1)
    (599 :ILOAD_2)
    (600 :AALOAD)
    (601 :ICONST_1)
    (602 :IALOAD)
    (603 :IXOR)
    (604 :PUTFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C1" NIL)
    (607 :ALOAD_0)
    (608 :ALOAD_0)
    (609 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (612 :ILOAD 5)
    (614 :SIPUSH 255)
    (617 :IAND)
    (618 :BALOAD)
    (619 :SIPUSH 255)
    (622 :IAND)
    (623 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (626 :ILOAD 6)
    (628 :BIPUSH 8)
    (630 :ISHR)
    (631 :SIPUSH 255)
    (634 :IAND)
    (635 :BALOAD)
    (636 :SIPUSH 255)
    (639 :IAND)
    (640 :BIPUSH 8)
    (642 :ISHL)
    (643 :IXOR)
    (644 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (647 :ILOAD_3)
    (648 :BIPUSH 16)
    (650 :ISHR)
    (651 :SIPUSH 255)
    (654 :IAND)
    (655 :BALOAD)
    (656 :SIPUSH 255)
    (659 :IAND)
    (660 :BIPUSH 16)
    (662 :ISHL)
    (663 :IXOR)
    (664 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (667 :ILOAD 4)
    (669 :BIPUSH 24)
    (671 :ISHR)
    (672 :SIPUSH 255)
    (675 :IAND)
    (676 :BALOAD)
    (677 :BIPUSH 24)
    (679 :ISHL)
    (680 :IXOR)
    (681 :INVOKESPECIAL
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "mcol" "(I)I" 1)
    (684 :ALOAD_1)
    (685 :ILOAD_2)
    (686 :AALOAD)
    (687 :ICONST_2)
    (688 :IALOAD)
    (689 :IXOR)
    (690 :PUTFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C2" NIL)
    (693 :ALOAD_0)
    (694 :ALOAD_0)
    (695 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (698 :ILOAD 6)
    (700 :SIPUSH 255)
    (703 :IAND)
    (704 :BALOAD)
    (705 :SIPUSH 255)
    (708 :IAND)
    (709 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (712 :ILOAD_3)
    (713 :BIPUSH 8)
    (715 :ISHR)
    (716 :SIPUSH 255)
    (719 :IAND)
    (720 :BALOAD)
    (721 :SIPUSH 255)
    (724 :IAND)
    (725 :BIPUSH 8)
    (727 :ISHL)
    (728 :IXOR)
    (729 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (732 :ILOAD 4)
    (734 :BIPUSH 16)
    (736 :ISHR)
    (737 :SIPUSH 255)
    (740 :IAND)
    (741 :BALOAD)
    (742 :SIPUSH 255)
    (745 :IAND)
    (746 :BIPUSH 16)
    (748 :ISHL)
    (749 :IXOR)
    (750 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (753 :ILOAD 5)
    (755 :BIPUSH 24)
    (757 :ISHR)
    (758 :SIPUSH 255)
    (761 :IAND)
    (762 :BALOAD)
    (763 :BIPUSH 24)
    (765 :ISHL)
    (766 :IXOR)
    (767 :INVOKESPECIAL
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "mcol" "(I)I" 1)
    (770 :ALOAD_1)
    (771 :ILOAD_2)
    (772 :IINC 2 1)
    (775 :AALOAD)
    (776 :ICONST_3)
    (777 :IALOAD)
    (778 :IXOR)
    (779 :PUTFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C3" NIL)
    (782 :ILOAD_2)
    (783 :ALOAD_0)
    (784 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "ROUNDS" NIL)
    (787 :ICONST_1)
    (788 :ISUB)
    (789 :IF_ICMPLT -728)
    (792 :ALOAD_0)
    (793 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (796 :ALOAD_0)
    (797 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C0" NIL)
    (800 :SIPUSH 255)
    (803 :IAND)
    (804 :BALOAD)
    (805 :SIPUSH 255)
    (808 :IAND)
    (809 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (812 :ALOAD_0)
    (813 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C1" NIL)
    (816 :BIPUSH 8)
    (818 :ISHR)
    (819 :SIPUSH 255)
    (822 :IAND)
    (823 :BALOAD)
    (824 :SIPUSH 255)
    (827 :IAND)
    (828 :BIPUSH 8)
    (830 :ISHL)
    (831 :IXOR)
    (832 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (835 :ALOAD_0)
    (836 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C2" NIL)
    (839 :BIPUSH 16)
    (841 :ISHR)
    (842 :SIPUSH 255)
    (845 :IAND)
    (846 :BALOAD)
    (847 :SIPUSH 255)
    (850 :IAND)
    (851 :BIPUSH 16)
    (853 :ISHL)
    (854 :IXOR)
    (855 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (858 :ALOAD_0)
    (859 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C3" NIL)
    (862 :BIPUSH 24)
    (864 :ISHR)
    (865 :SIPUSH 255)
    (868 :IAND)
    (869 :BALOAD)
    (870 :BIPUSH 24)
    (872 :ISHL)
    (873 :IXOR)
    (874 :INVOKESPECIAL
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "mcol" "(I)I" 1)
    (877 :ALOAD_1)
    (878 :ILOAD_2)
    (879 :AALOAD)
    (880 :ICONST_0)
    (881 :IALOAD)
    (882 :IXOR)
    (883 :ISTORE_3)
    (884 :ALOAD_0)
    (885 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (888 :ALOAD_0)
    (889 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C1" NIL)
    (892 :SIPUSH 255)
    (895 :IAND)
    (896 :BALOAD)
    (897 :SIPUSH 255)
    (900 :IAND)
    (901 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (904 :ALOAD_0)
    (905 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C2" NIL)
    (908 :BIPUSH 8)
    (910 :ISHR)
    (911 :SIPUSH 255)
    (914 :IAND)
    (915 :BALOAD)
    (916 :SIPUSH 255)
    (919 :IAND)
    (920 :BIPUSH 8)
    (922 :ISHL)
    (923 :IXOR)
    (924 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (927 :ALOAD_0)
    (928 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C3" NIL)
    (931 :BIPUSH 16)
    (933 :ISHR)
    (934 :SIPUSH 255)
    (937 :IAND)
    (938 :BALOAD)
    (939 :SIPUSH 255)
    (942 :IAND)
    (943 :BIPUSH 16)
    (945 :ISHL)
    (946 :IXOR)
    (947 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (950 :ALOAD_0)
    (951 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C0" NIL)
    (954 :BIPUSH 24)
    (956 :ISHR)
    (957 :SIPUSH 255)
    (960 :IAND)
    (961 :BALOAD)
    (962 :BIPUSH 24)
    (964 :ISHL)
    (965 :IXOR)
    (966 :INVOKESPECIAL
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "mcol" "(I)I" 1)
    (969 :ALOAD_1)
    (970 :ILOAD_2)
    (971 :AALOAD)
    (972 :ICONST_1)
    (973 :IALOAD)
    (974 :IXOR)
    (975 :ISTORE 4)
    (977 :ALOAD_0)
    (978 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (981 :ALOAD_0)
    (982 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C2" NIL)
    (985 :SIPUSH 255)
    (988 :IAND)
    (989 :BALOAD)
    (990 :SIPUSH 255)
    (993 :IAND)
    (994 :GETSTATIC
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "S" NIL)
    (997 :ALOAD_0)
    (998 :GETFIELD
         "org.bouncycastle.crypto.engines.AESLightEngine"
         "C3" NIL)
    (1001 :BIPUSH 8)
    (1003 :ISHR)
    (1004 :SIPUSH 255)
    (1007 :IAND)
    (1008 :BALOAD)
    (1009 :SIPUSH 255)
    (1012 :IAND)
    (1013 :BIPUSH 8)
    (1015 :ISHL)
    (1016 :IXOR)
    (1017 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1020 :ALOAD_0)
    (1021 :GETFIELD
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "C0" NIL)
    (1024 :BIPUSH 16)
    (1026 :ISHR)
    (1027 :SIPUSH 255)
    (1030 :IAND)
    (1031 :BALOAD)
    (1032 :SIPUSH 255)
    (1035 :IAND)
    (1036 :BIPUSH 16)
    (1038 :ISHL)
    (1039 :IXOR)
    (1040 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1043 :ALOAD_0)
    (1044 :GETFIELD
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "C1" NIL)
    (1047 :BIPUSH 24)
    (1049 :ISHR)
    (1050 :SIPUSH 255)
    (1053 :IAND)
    (1054 :BALOAD)
    (1055 :BIPUSH 24)
    (1057 :ISHL)
    (1058 :IXOR)
    (1059 :INVOKESPECIAL
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "mcol" "(I)I" 1)
    (1062 :ALOAD_1)
    (1063 :ILOAD_2)
    (1064 :AALOAD)
    (1065 :ICONST_2)
    (1066 :IALOAD)
    (1067 :IXOR)
    (1068 :ISTORE 5)
    (1070 :ALOAD_0)
    (1071 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1074 :ALOAD_0)
    (1075 :GETFIELD
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "C3" NIL)
    (1078 :SIPUSH 255)
    (1081 :IAND)
    (1082 :BALOAD)
    (1083 :SIPUSH 255)
    (1086 :IAND)
    (1087 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1090 :ALOAD_0)
    (1091 :GETFIELD
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "C0" NIL)
    (1094 :BIPUSH 8)
    (1096 :ISHR)
    (1097 :SIPUSH 255)
    (1100 :IAND)
    (1101 :BALOAD)
    (1102 :SIPUSH 255)
    (1105 :IAND)
    (1106 :BIPUSH 8)
    (1108 :ISHL)
    (1109 :IXOR)
    (1110 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1113 :ALOAD_0)
    (1114 :GETFIELD
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "C1" NIL)
    (1117 :BIPUSH 16)
    (1119 :ISHR)
    (1120 :SIPUSH 255)
    (1123 :IAND)
    (1124 :BALOAD)
    (1125 :SIPUSH 255)
    (1128 :IAND)
    (1129 :BIPUSH 16)
    (1131 :ISHL)
    (1132 :IXOR)
    (1133 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1136 :ALOAD_0)
    (1137 :GETFIELD
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "C2" NIL)
    (1140 :BIPUSH 24)
    (1142 :ISHR)
    (1143 :SIPUSH 255)
    (1146 :IAND)
    (1147 :BALOAD)
    (1148 :BIPUSH 24)
    (1150 :ISHL)
    (1151 :IXOR)
    (1152 :INVOKESPECIAL
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "mcol" "(I)I" 1)
    (1155 :ALOAD_1)
    (1156 :ILOAD_2)
    (1157 :IINC 2 1)
    (1160 :AALOAD)
    (1161 :ICONST_3)
    (1162 :IALOAD)
    (1163 :IXOR)
    (1164 :ISTORE 6)
    (1166 :ALOAD_0)
    (1167 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1170 :ILOAD_3)
    (1171 :SIPUSH 255)
    (1174 :IAND)
    (1175 :BALOAD)
    (1176 :SIPUSH 255)
    (1179 :IAND)
    (1180 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1183 :ILOAD 4)
    (1185 :BIPUSH 8)
    (1187 :ISHR)
    (1188 :SIPUSH 255)
    (1191 :IAND)
    (1192 :BALOAD)
    (1193 :SIPUSH 255)
    (1196 :IAND)
    (1197 :BIPUSH 8)
    (1199 :ISHL)
    (1200 :IXOR)
    (1201 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1204 :ILOAD 5)
    (1206 :BIPUSH 16)
    (1208 :ISHR)
    (1209 :SIPUSH 255)
    (1212 :IAND)
    (1213 :BALOAD)
    (1214 :SIPUSH 255)
    (1217 :IAND)
    (1218 :BIPUSH 16)
    (1220 :ISHL)
    (1221 :IXOR)
    (1222 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1225 :ILOAD 6)
    (1227 :BIPUSH 24)
    (1229 :ISHR)
    (1230 :SIPUSH 255)
    (1233 :IAND)
    (1234 :BALOAD)
    (1235 :BIPUSH 24)
    (1237 :ISHL)
    (1238 :IXOR)
    (1239 :ALOAD_1)
    (1240 :ILOAD_2)
    (1241 :AALOAD)
    (1242 :ICONST_0)
    (1243 :IALOAD)
    (1244 :IXOR)
    (1245 :PUTFIELD
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "C0" NIL)
    (1248 :ALOAD_0)
    (1249 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1252 :ILOAD 4)
    (1254 :SIPUSH 255)
    (1257 :IAND)
    (1258 :BALOAD)
    (1259 :SIPUSH 255)
    (1262 :IAND)
    (1263 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1266 :ILOAD 5)
    (1268 :BIPUSH 8)
    (1270 :ISHR)
    (1271 :SIPUSH 255)
    (1274 :IAND)
    (1275 :BALOAD)
    (1276 :SIPUSH 255)
    (1279 :IAND)
    (1280 :BIPUSH 8)
    (1282 :ISHL)
    (1283 :IXOR)
    (1284 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1287 :ILOAD 6)
    (1289 :BIPUSH 16)
    (1291 :ISHR)
    (1292 :SIPUSH 255)
    (1295 :IAND)
    (1296 :BALOAD)
    (1297 :SIPUSH 255)
    (1300 :IAND)
    (1301 :BIPUSH 16)
    (1303 :ISHL)
    (1304 :IXOR)
    (1305 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1308 :ILOAD_3)
    (1309 :BIPUSH 24)
    (1311 :ISHR)
    (1312 :SIPUSH 255)
    (1315 :IAND)
    (1316 :BALOAD)
    (1317 :BIPUSH 24)
    (1319 :ISHL)
    (1320 :IXOR)
    (1321 :ALOAD_1)
    (1322 :ILOAD_2)
    (1323 :AALOAD)
    (1324 :ICONST_1)
    (1325 :IALOAD)
    (1326 :IXOR)
    (1327 :PUTFIELD
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "C1" NIL)
    (1330 :ALOAD_0)
    (1331 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1334 :ILOAD 5)
    (1336 :SIPUSH 255)
    (1339 :IAND)
    (1340 :BALOAD)
    (1341 :SIPUSH 255)
    (1344 :IAND)
    (1345 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1348 :ILOAD 6)
    (1350 :BIPUSH 8)
    (1352 :ISHR)
    (1353 :SIPUSH 255)
    (1356 :IAND)
    (1357 :BALOAD)
    (1358 :SIPUSH 255)
    (1361 :IAND)
    (1362 :BIPUSH 8)
    (1364 :ISHL)
    (1365 :IXOR)
    (1366 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1369 :ILOAD_3)
    (1370 :BIPUSH 16)
    (1372 :ISHR)
    (1373 :SIPUSH 255)
    (1376 :IAND)
    (1377 :BALOAD)
    (1378 :SIPUSH 255)
    (1381 :IAND)
    (1382 :BIPUSH 16)
    (1384 :ISHL)
    (1385 :IXOR)
    (1386 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1389 :ILOAD 4)
    (1391 :BIPUSH 24)
    (1393 :ISHR)
    (1394 :SIPUSH 255)
    (1397 :IAND)
    (1398 :BALOAD)
    (1399 :BIPUSH 24)
    (1401 :ISHL)
    (1402 :IXOR)
    (1403 :ALOAD_1)
    (1404 :ILOAD_2)
    (1405 :AALOAD)
    (1406 :ICONST_2)
    (1407 :IALOAD)
    (1408 :IXOR)
    (1409 :PUTFIELD
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "C2" NIL)
    (1412 :ALOAD_0)
    (1413 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1416 :ILOAD 6)
    (1418 :SIPUSH 255)
    (1421 :IAND)
    (1422 :BALOAD)
    (1423 :SIPUSH 255)
    (1426 :IAND)
    (1427 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1430 :ILOAD_3)
    (1431 :BIPUSH 8)
    (1433 :ISHR)
    (1434 :SIPUSH 255)
    (1437 :IAND)
    (1438 :BALOAD)
    (1439 :SIPUSH 255)
    (1442 :IAND)
    (1443 :BIPUSH 8)
    (1445 :ISHL)
    (1446 :IXOR)
    (1447 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1450 :ILOAD 4)
    (1452 :BIPUSH 16)
    (1454 :ISHR)
    (1455 :SIPUSH 255)
    (1458 :IAND)
    (1459 :BALOAD)
    (1460 :SIPUSH 255)
    (1463 :IAND)
    (1464 :BIPUSH 16)
    (1466 :ISHL)
    (1467 :IXOR)
    (1468 :GETSTATIC
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "S" NIL)
    (1471 :ILOAD 5)
    (1473 :BIPUSH 24)
    (1475 :ISHR)
    (1476 :SIPUSH 255)
    (1479 :IAND)
    (1480 :BALOAD)
    (1481 :BIPUSH 24)
    (1483 :ISHL)
    (1484 :IXOR)
    (1485 :ALOAD_1)
    (1486 :ILOAD_2)
    (1487 :AALOAD)
    (1488 :ICONST_3)
    (1489 :IALOAD)
    (1490 :IXOR)
    (1491 :PUTFIELD
          "org.bouncycastle.crypto.engines.AESLightEngine"
          "C3" NIL)
    (1494 :RETURN))
  ;;   '((:ALOAD_0)
  ;;     (:DUP)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C0" NIL)
  ;;     (:ALOAD_1)
  ;;     (:ICONST_0)
  ;;     (:AALOAD)
  ;;     (:ICONST_0)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:PUTFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C0" NIL)
  ;;     (:ALOAD_0)
  ;;     (:DUP)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C1" NIL)
  ;;     (:ALOAD_1)
  ;;     (:ICONST_0)
  ;;     (:AALOAD)
  ;;     (:ICONST_1)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:PUTFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C1" NIL)
  ;;     (:ALOAD_0)
  ;;     (:DUP)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C2" NIL)
  ;;     (:ALOAD_1)
  ;;     (:ICONST_0)
  ;;     (:AALOAD)
  ;;     (:ICONST_2)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:PUTFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C2" NIL)
  ;;     (:ALOAD_0)
  ;;     (:DUP)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C3" NIL)
  ;;     (:ALOAD_1)
  ;;     (:ICONST_0)
  ;;     (:AALOAD)
  ;;     (:ICONST_3)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:PUTFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C3" NIL)
  ;;     (:ICONST_1)
  ;;     (:ISTORE_2)
  ;;     (:GOTO 724)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C0" NIL)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C1" NIL)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C2" NIL)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C3" NIL)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:INVOKESPECIAL "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                         "mcol" "(I)I" 1)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:AALOAD)
  ;;     (:ICONST_0)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:ISTORE_3)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C1" NIL)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C2" NIL)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C3" NIL)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C0" NIL)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:INVOKESPECIAL "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                         "mcol" "(I)I" 1)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:AALOAD)
  ;;     (:ICONST_1)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:ISTORE 4)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C2" NIL)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C3" NIL)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C0" NIL)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C1" NIL)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:INVOKESPECIAL "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                         "mcol" "(I)I" 1)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:AALOAD)
  ;;     (:ICONST_2)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:ISTORE 5)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C3" NIL)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C0" NIL)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C1" NIL)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C2" NIL)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:INVOKESPECIAL "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                         "mcol" "(I)I" 1)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:IINC 2 1)
  ;;     (:AALOAD)
  ;;     (:ICONST_3)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:ISTORE 6)
  ;;     (:ALOAD_0)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD_3)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 4)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 5)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 6)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:INVOKESPECIAL "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                         "mcol" "(I)I" 1)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:AALOAD)
  ;;     (:ICONST_0)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:PUTFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C0" NIL)
  ;;     (:ALOAD_0)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 4)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 5)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 6)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD_3)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:INVOKESPECIAL "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                         "mcol" "(I)I" 1)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:AALOAD)
  ;;     (:ICONST_1)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:PUTFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C1" NIL)
  ;;     (:ALOAD_0)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 5)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 6)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD_3)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 4)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:INVOKESPECIAL "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                         "mcol" "(I)I" 1)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:AALOAD)
  ;;     (:ICONST_2)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:PUTFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C2" NIL)
  ;;     (:ALOAD_0)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 6)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD_3)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 4)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 5)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:INVOKESPECIAL "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                         "mcol" "(I)I" 1)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:IINC 2 1)
  ;;     (:AALOAD)
  ;;     (:ICONST_3)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:PUTFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C3" NIL)
  ;;     (:ILOAD_2)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "ROUNDS" NIL)
  ;;     (:ICONST_1)
  ;;     (:ISUB)
  ;;     (:IF_ICMPLT -728)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C0" NIL)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C1" NIL)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C2" NIL)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C3" NIL)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:INVOKESPECIAL "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                         "mcol" "(I)I" 1)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:AALOAD)
  ;;     (:ICONST_0)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:ISTORE_3)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C1" NIL)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C2" NIL)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C3" NIL)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C0" NIL)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:INVOKESPECIAL "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                         "mcol" "(I)I" 1)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:AALOAD)
  ;;     (:ICONST_1)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:ISTORE 4)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C2" NIL)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C3" NIL)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C0" NIL)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C1" NIL)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:INVOKESPECIAL "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                         "mcol" "(I)I" 1)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:AALOAD)
  ;;     (:ICONST_2)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:ISTORE 5)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C3" NIL)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C0" NIL)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C1" NIL)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C2" NIL)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:INVOKESPECIAL "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                         "mcol" "(I)I" 1)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:IINC 2 1)
  ;;     (:AALOAD)
  ;;     (:ICONST_3)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:ISTORE 6)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD_3)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 4)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 5)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 6)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:AALOAD)
  ;;     (:ICONST_0)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:PUTFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C0" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 4)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 5)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 6)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD_3)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:AALOAD)
  ;;     (:ICONST_1)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:PUTFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C1" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 5)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 6)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD_3)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 4)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:AALOAD)
  ;;     (:ICONST_2)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:PUTFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C2" NIL)
  ;;     (:ALOAD_0)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 6)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD_3)
  ;;     (:BIPUSH 8)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 8)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 4)
  ;;     (:BIPUSH 16)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BIPUSH 16)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:GETSTATIC "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                     "S" NIL)
  ;;     (:ILOAD 5)
  ;;     (:BIPUSH 24)
  ;;     (:ISHR)
  ;;     (:SIPUSH 255)
  ;;     (:IAND)
  ;;     (:BALOAD)
  ;;     (:BIPUSH 24)
  ;;     (:ISHL)
  ;;     (:IXOR)
  ;;     (:ALOAD_1)
  ;;     (:ILOAD_2)
  ;;     (:AALOAD)
  ;;     (:ICONST_3)
  ;;     (:IALOAD)
  ;;     (:IXOR)
  ;;     (:PUTFIELD "org.bouncycastle.crypto.engines.AESLightEngine"
  ;;                    "C3" NIL)
  ;;     (:RETURN))
  )


;not a very good test case:
;;(DECOMPOSE-INTO-LOOPS *code*)
