Redirecting to Warren abstract machine