Prefixes starting with <HEALT>