Symbol: ast_ddc