variables and parameters [...] Variables defined [...] for writing global

variables and parameters [...] Variables defined [...] for writing global

variables and parameters [...] Variables defined [...] for writing global

variables and parameters [...] Variables defined [...] for writing global

variables and parameters [...] Variables defined [...] for writing global

variables and parameters [...] Variables defined [...] for writing global

variables and parameters [...] Variables defined [...] for writing global

variables and parameters [...] Variables defined [...] for writing global

variables. Call : [...] variable whose value [...] only if the evaluated variables

for variables) <invariants [...] var value Writing of a variable