hal.