I'm pretty sure an int32_t will always be between INT32_MAX and
I'd wait for @compnerd to take a look before acting on my comments, since I don't have much context on this code.
A VA is unsigned, so "relocation underflow" doesn't make much sense to me. I'd just assert Result <= UINT32_MAX instead.
Same here (though you'll need a cast to uint64_t).