#ifdef HAVE_CONFIG_H
#include <config.h>
#endif

#include <sys/types.h>
#include <stdio.h>
#include <fcntl.h>
#include <unistd.h>
#include <err.h>

int
main(int argc, char **argv)
{
    int fd;


    fd = open ("foo", O_RDWR|O_CREAT, 0666);
    if (fd < 0)
	err (1, "open");

    dup2 (fd + 1, fd);
    
    if (write (fd, "foo\n", 4) != 4)
	errx (1, "write");

    ktc_ForgetAllTokens();

    close (fd);
    close (fd + 1);

    exit (0);
}
