Implement proper codegen for strings according to the C lexical conventions
Implement proper codegen for strings according to the C lexical conventions

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin