add A&S p617 to test.jl