symbol-dce
