a couple more chapter 12 examples converted