/plugins/quote/
../
Quote.v
g_quote.mlg
quote.ml
quote_plugin.mlpack