code that generates some wrapper.c tests (for Dom)