move short test code into sicp.ch4_test