// registers, but we want more than we can use as scratch space. Two
// places we only need to save a copy of the input for the
// feedforward at the end; but the other two we want for the final
// registers, but we want more than we can use as scratch space. Two
// places we only need to save a copy of the input for the
// feedforward at the end; but the other two we want for the final