add tests/04_simple_string.specnew.c