dc_top_level compiled successfully.