sicp-ex-4.76