HAL library