Ktheory compiles