The exercise for SICP