Restore the ddt_init/ddb_fini calls.
Add some PUSHPAGEs