erlang chapter 17