I plan to not use the passed tmp32u, but instead derive a clean 32-bit leaf from R_EAX (uint32_t leaf = (uint32_t)R_EAX), and then only use leaf for conditional statements/switch operations.