/halimpl/hal/