HAL API object definitions