Prefixes starting with <HAL>
<HALF>
.
<HALI>
.
<HALL>
.
<HAL> (other)
.