No, you ran this test today, but it uses 3.1.0.35, and the test
doesn't trace the requested functions. You might have run it from a
different directory than you extracted the asdf code. Please try again
with the latest ASDF (3.1.0.72 or whatever).