Test case for Holdings, based on Appendix C of Holdings paper.