Dump DEFINITION-P.
Dump strippers.