sicp-ex-5.48