Using namespace HIntLib