, In work is displayed [...] values into SAFE [...] are displayed in yellow
with their default values: Treat [...] of identifiers. Default value [...] are displayed in the message