Currently, you can only iter over `TableOfContents`. I would like to know the length of it.
Currently, you can only iter over
TableOfContents. I would like to know the length of it.