Redirecting to Abstract State Machine Language