0x7E, 0x65, 0xB9, 0xF1, 0x09, 0xC5, 0x6E, 0xC6, 0x84, 0x18, 0xF0, 0x7D, 0xEC, 0x3A, 0xDC, 0x4D, 0x20, 0x79, 0xEE, 0x5F, 0x3E, 0xD7, 0xCB, 0x39, 0x48 ] let aes_sbox_fwd_table : vector(256, bits(8)) = [ 32| 48| 64]; case 8..11: stack_adj = [ 96|112|128|144]; case 15: stack_adj_base = 96; case 15:
dishonor