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