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

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