Il blocco funzionale S imposta una variabile su vero.
Se l'ingresso è vero, la variabile impostata come database viene settata a TRUE.
La variabile viene scritta o impostata solo se l'ingresso è vero.