Redirecting to Abstract machine