Redirecting to ../../../syn/visit/fn.visit_pat.html...