Symbol: __HYPERCALL_CLOBBER4