Use storePtr in GenerateEntry so that both words are well-defined on x64 (since the callee will use quad-word loads, even if the variables are int32)