HAL links