hal file