assert strcmp("abc", "abc") = 0