Redirecting to Abstract state machines