dumpdef()