[PATCH 1/5] devenum/tests: Avoid running test_devenum() twice.