fix issue #493#494

koubaa wants to merge 3 commits intohpyproject:masterhpyproject/hpy:masterfrom

koubaa:python313-issuekoubaa/hpy:python313-issueCopy head branch name to clipboard