Norm Tovey-Walsh This is the same test as xref.005 except that the test harness runs it with prefer-xrefstyle set to “true”.