Add a prototype of Krt