Mark Dickinson added the comment: > Here is a patch. Where?! BYW, we might want to use PY_UINT32_T rather than uint32_t directly. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue23488> _______________________________________