. "In the same procedure, b is an output" . . .