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