src/token_manager.c tests/devcount.c