create mode 100644 test/cases/translate_c/assert_with_strlit.c