a := input1;
b := input2;
The subscripts are necessary to distinguish the two input data.
The statement output(x) corresponds to:
output := x