!named = !{!0}
; These nodes are intentionally in the opposite order from the test-driver.
; However, they are numbered the same for the reader's convenience.
!1 = !{}
!0 = !{!1}