tests compile. TODO: generate key conversion TH