32-bit hotpatching question