"regs_batches": func(firstReg, nregs int) []RegsBatch { result := make([]RegsBatch, 0) for nregs != 0 { batch := 4 if nregs < batch { batch = nregs } regsList := make([]string, 0, batch) for j := firstReg; j < firstReg+batch; j++ { regsList = append(regsList, fmt.Sprintf("V%d.B16", j)) } result = append(result, RegsBatch{ Size: 16 * batch, Regs: strings.Join(regsList, ", "), }) nregs -= batch firstReg += batch } return result }, "enc_args": func(key, n int, withMc bool) EncArgs { return EncArgs{ Key: key,...