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