randkey_principal_wrapper_3
randkey_principal_wrapper_3(void *server_handle,
ret.code = randkey_principal_wrapper_3((void *)handle, arg->princ,