Redirecting to Abstract state machine