Symbol: guest_exec