add A&S p617 to test.jl; fix _E bug