翻译HAL规范