Контракты Scilla имеют два типа переменных состояния: изменяемые и неизменяемые.
Неизменяемые переменные - это те, которые инициализируются во время создания контракта. После инициализации их значения не могут быть изменены. HelloWorld имеет одну неизменяемую переменную с именем owner.
Изменяемые переменные - это переменные, значение которых изменится даже после создания контракта. HelloWorld имеет одну изменяемую переменную с именем welcome_msg.