gFrontEndId: int

debugIds = false

proc registerID(id: PIdObj) {...}{.raises: [], tags: [].}

proc getID(): int {...}{.inline, raises: [], tags: [].}

proc setId(id: int) {...}{.inline, raises: [], tags: [].}

proc idSynchronizationPoint(idRange: int) {...}{.raises: [], tags: [].}

proc saveMaxIds(conf: ConfigRef; project: AbsoluteFile) {...}{.
    raises: [IOError, OSError], tags: [ReadEnvEffect, ReadIOEffect,
                                       WriteDirEffect, ReadDirEffect,
                                       WriteIOEffect].}

proc loadMaxIds(conf: ConfigRef; project: AbsoluteFile) {...}{.
    raises: [OSError, IOError, ValueError], tags: [ReadEnvEffect, ReadIOEffect,
    WriteDirEffect, ReadDirEffect, WriteIOEffect].}