DE_USER
if (de->de_flags & DE_USER) {
if (de->de_flags & DE_USER)
de->de_flags = DE_USER;
if ((de_covered->de_flags & DE_USER) != 0) {