string coq 1

string-coq