Massive SICP import