mutable id = (s:int)