Redirecting to Abstract State Machines