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