var MS_VERBOSE: Int32 { get }