probably just sets `$VERBOSE` to `nil`, which would have been difficult to notice.