Prefixes starting with <dum>
<dump>
.
<dum> (other)
.