public function StringLiteral_DoubleQuotedStringLiteral(&$result, $sub) { $result['val'] = (string) str_replace('\\"', '"', substr($sub['text'], 1, -1)); }