__runtime_fixup_32
__runtime_fixup_32(where, where + 4, val);
__runtime_fixup_32(where, where + 8, val);
__runtime_fixup_32(where + 4, where + 12, val >> 32);
__runtime_fixup_32(where + 2, val >> 32);
__runtime_fixup_32(where + 8, val);