HAL 0.5.10 Specification.