Towards HAL 2.4.x