Add HAL/David fragment.