string = %x22 *string-inside %x22 string-inside = "\" %x22 / %x20-21 / %x23-7e