my Int $x = 17; my Int $y is readonly := $x;