generator.ml: avoid warnings in generated tests.c