Python HAL generation/parsing library