mutable verboseString : string = ""