[PATCH 1/2] devenum/tests: Add some more traces in test_devenum().