Links for zuspec-arl-eval