public class S { int mutable_num = 1; const(int) const_num = 20; const int const_num2 = 21; invariant(int) invariant_num = 30; invariant int invariant_num2 = 31; }
void main() { S s = new S(); writeln("mutable_num: ", s.mutable_num); writeln("const_num: ", s.const_num); writeln("const_num2: ", s.const_num2); writeln("invariant_num: ", s.invariant_num); writeln("invariant_num2: ", s.invariant_num2); }
