sicp-ex-3.9