mutable
verboseString : string =
""