Scilla contracts have two types of state variables: mutable and immutable.
Immutable variables are those that get initialized at the time of contract creation. Once initialized, their values cannot be changed. HelloWorld has one immutable variable named owner.
Mutable variables are those whose value will change even after the contract has been created. HelloWorld has one mutable variable named welcome_msg.