Symbol: deh_len