let quote = generic_quote "'\\''"