place the given value(s) into the given variable(s)
iPow2 ← -1;
The left hand side may be a non lvalue (in C parlance). Rather, some algebras and solvers solve free variables.
x + 1 ← 0;
Assignment operations can be chained together
a ← b ← c;