Definition of "HAL"

HAL1

HAL2