Redirecting to Abstract Machine Notation