values Acknowledge [...] Type Initial Value [...] values activate
with their default values: Treat [...] variable has a write [...] variable has a write
that is write [...] values to SAFE