0x54, 0xbb, 0x16 ] let aes_sbox_fwd_table : vector(256, bits(8)) = [ 80| 96|112|128]; case 14: stack_adj_base = 16; case 6.. 7: stack_adj_base = 48; case 15: stack_adj_base = 48; case 10..11: stack_adj = [ 16| 32| 48| 64]; case 6.. 7: stack_adj = [16|32|48| 64]; case 6.. 7: stack_adj = stack_adj_base + spimm * 16; RV32E: stack_adj_base = 16; case 8..11: stack_adj = [16|32|48| 64]; case 6.. 7: stack_adj_base = 32; case 12..14: stack_adj = [ 32| 48| 64]; case 8..11: stack_adj_base =
seasides