proc annotateType(n: PNode; t: PType; conf: ConfigRef) {.
    ...raises: [ERecoverableError, KeyError, Exception, ValueError, IOError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}