WORKBENCH è una variabile globale creata dalla Startup-Sequence che
contiene numero di versione del Workbench (quello sui dischi di
sistema).

Vedere: GetEnv e SetEnv