proc getFileId(m: LineInfoManager; i: PackedLineInfo): LitId {....raises: [],
    tags: [], forbids: [].}

proc load(r: var RodFile; m: var LineInfoManager) {....raises: [IOError],
    tags: [ReadIOEffect], forbids: [].}

proc pack(m: var LineInfoManager; file: LitId; line, col: int32): PackedLineInfo {.
    ...raises: [], tags: [], forbids: [].}

proc store(r: var RodFile; m: LineInfoManager) {....raises: [IOError],
    tags: [WriteIOEffect], forbids: [].}

proc unpack(m: LineInfoManager; i: PackedLineInfo): (LitId, int32, int32) {.
    ...raises: [], tags: [], forbids: [].}