#ifndef lint
static const char	RCSid[] = "$Id: open.c,v 1.3 2004/11/05 17:51:17 greg dead $";
#endif

#include "lib4014.h"
#include "lib4014.h"

extern void
openvt(void)
{
}

extern void
openpl(void)
{
}