dumpprototyping