Adding libats_ML_hashtbl