mutable
label = (s:int)