ibn Halils – arabic