stack_adj_base = 48; case 15: stack_adj = stack_adj_base + spimm * 16; RV32E: stack_adj_base = 32; case 8.. 9: stack_adj_base = 48; case 15: stack_adj_base = 64; }