void ceo_kadm_init(); void ceo_kadm_cleanup(); int ceo_add_princ(char *, char *); int ceo_del_princ(char *);