init HTDP chapter 7