proc checkModuleName(conf: ConfigRef; n: PNode; doLocalError = true): FileIndex {....raises: [
    OSError, Exception, ValueError, KeyError, IOError, ERecoverableError], tags: [
    ReadEnvEffect, ReadIOEffect, RootEffect, ReadDirEffect, WriteIOEffect].}

proc getModuleName(conf: ConfigRef; n: PNode): string {....raises: [OSError,
    Exception, ValueError, KeyError, IOError, ERecoverableError], tags: [
    ReadEnvEffect, ReadIOEffect, RootEffect, ReadDirEffect, WriteIOEffect].}