mutable label = (s:int)