write("\nCopyright (C) 1999-2001 INRIA/INSA de Rennes."),
write("\n**************************************************"),
	write("\n**** Testing test_vars.m...\n"),
	run(test_vars),
	goto(3),
	current(arg = Arg),
	write(Arg), !,
	no_trace,
	write("test_vars: ok.\n").
