RE: 32-bit hotpatching question