What is HAL?