HAL Specification