Unbreak the build (from r191233)since we're calling printf.
Add more external types to the pubtypes table. Expand the asm
checking patch until we get full dumping support.