#ifndef lint
static const char	RCSid[] = "$Id: open.c,v 1.2 2003/11/15 02:13:37 schorsch Exp $";
#endif

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

extern void
openvt(void)
{
}

extern void
openpl(void)
{
}

