`seqtest[23].py` segfault with Python 3.12