#5926: Double quoted strings