Re: 32-bit hotpatching question