#include <stdio.h>
#include <sys/types.h>
#include <unistd.h>
#include <krb.h>

main()
{
int pid,rc;
char tmpstr[50],name[50];
pid = getpid();
sprintf(tmpstr,"/var/tmp/tkt_%d",pid);
rc = setenv("KRBTKFILE",tmpstr,1);

printf("Username: ");
gets(name);
execl("/var/local/get_tk.scr","get_tk.src",name,0);
}