(library
	(name hello))