HAL >= 0.5.10
