Beginnings of haval implementation