deftest does not crash :)