dc_top_level draft1 complete. Not yet compiled or verified.