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