new snippet for invoking Dump() extension method