Use obj/lint1 testX.c /dev/null to test. We don't descend here or provide any test infrastructure yet.