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
for variables) <invariants [...] var value Writing of a variable
variables and parameters [...] Variables defined [...] for writing global
variables. Tab [...] variables and parameters [...] Variables defined
variables and parameters [...] Variables defined [...] for writing global
variables and parameters [...] Variables defined [...] for writing global
variables : Persistent variables [...] variables and parameters