package casesensitive

/*@
workspacesymbolcasesensitive("dunk", dunk)
workspacesymbolcasesensitive("Dunk", Dunk)
*/