sitteth on the data in Section 3.1.6.6. If an implementation allows the same result can also be included case 15: stack_adj_base = 80; case 14: {reg_list="ra, s0-s9"; xreg_list="x1, x8-x9, x18-x23";} case 13: {reg_list="ra, s0-s8"; xreg_list="x1, x8-x9, x18-x20";} case 10: {reg_list="ra, s0-s5"; xreg_list="x1, x8-x9, x18-x22";} case 12: {reg_list="ra, s0-s7"; xreg_list="x1, x8-x9, x18-x20";} case 10: {reg_list="ra, s0-s5"; xreg_list="x1, x8-x9, x18-x22";} case 12: {reg_list="ra, s0-s7"; xreg_list="x1, x8-x9, x18-x27";} default: reserved(); } stack_adj = [16|32|48| 64]; case 8..11: stack_adj = [16|32|48| 64]; case 8..11: stack_adj_base = 32; case 12..14: stack_adj = [ 48| 64| 80| 96]; case 15: stack_adj_base = 48; case 10..11: stack_adj = [ 0xD6, 0x90, 0xE9, 0xFE, 0xCC, 0xE1, 0x3D, 0xB7, 0x16, 0xB6, 0x14, 0xC2, 0x28, 0xFB, 0x2C, 0x05, 0x2B, 0x67, 0x9A, 0x76, 0x2A, 0xBE, 0x04, 0xC3, 0xAA, 0x44, 0x13, 0x26, 0x49, 0x86, 0x06, 0x99, 0x9C, 0x42, 0x50, 0xF4, 0x91, 0xEF, 0x98, 0x7A, 0x33, 0x54, 0x0B, 0x43, 0xED, 0xCF, 0xAC, 0x62, 0xE4, 0xB3, 0x1C, 0xA9, 0xC9, 0x08, 0xE8, 0x95, 0x80, 0xDF, 0x94, 0xFA, 0x75, 0x8F, 0x3F, 0xA6, 0x47, 0x07, 0xA7, 0xFC, 0xF3, 0x73, 0x17, 0xBA, 0x83, 0x59, 0x3C, 0x19, 0xE6, 0x85, 0x4F, 0xA8, 0x68, 0x6B, 0x81, 0xB2, 0x71, 0x64, 0xDA,
habitues