STRING_END

This ends the raw string started with STRING_BEGIN.