Prefixes starting with <destr>
<destru>
.
<destr> (other)
.