kmf_ku_to_string
char *s = kmf_ku_to_string(
extern char *kmf_ku_to_string(uint32_t);
char *s = kmf_ku_to_string((kubits & (1<<i)));