标签:HAL库