[hpy-dev] Re: Interaction between HPy_CAST and HPy_AsPyObject