docs: def getLevelInt(levelName):
      """
      Return the integer value of the levelName.
      @param levelName: The string value of the level name
      @type levelName: str
      @return: The value of the level name we are interested in.
      @rtype: int
      """
      assert isinstance(levelName, str) and levelName in getLevelNames(), \
          "Bad debug level name"
      return  getLevelNames().index(levelName)+1