tools to handle the HAL specification