Redirecting to High-level emulation