proc caseObjDefaultBranch(obj: PNode; branch: Int128): int {.
    ...raises: [KeyError, OSError, IOError, Exception, ValueError],
    tags: [RootEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect], forbids: [].}

proc expandDefault(t: PType; info: TLineInfo): PNode {....raises: [KeyError,
    OSError, IOError, Exception, ValueError, ERecoverableError], tags: [
    RootEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect, WriteIOEffect],
    forbids: [].}