Problems from SICP