proc PyErr_BadArgument(): PyTypeErrorObject {....raises: [], tags: [RootEffect],
    forbids: [].}

proc PyErr_FormatUnraisable(msg: PyStrObject) {....raises: [],
    tags: [WriteIOEffect], forbids: [].}