f, a function, a function of two arguments, f = (sym,val) -> ...; the argument sym is the symbol whose value is about to be assigned to, and val is the value about be assigned to it
Consequences:
whenever an assignment statement of the form s=e is done, the expression f(s,e) is first evaluated