class dlp_formatter : public term_formatter { public: dlp_formatter(); char* _format(const term* t); };