hal 9 .