proc PySequence_Tuple(v: PyObject): PyObject {....raises: [], tags: [RootEffect],
    forbids: [].}