Exercise solutions of SICP