main examples in ch01 of SICP passed