HALT documentation