#include <stdio.h>
#include <strings.h>

main(argc,argv)
int argc;
char *argv[];
{
	char buf[256];
	int i;

	strcpy(buf,"virtex \"&plain\" ");	
	for (i=1; i<(argc); i++)
	{
		strcat(buf,argv[i]);
		strcat(buf," ");
	}
	system(buf);
}