Symbol: dt_decl_top