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