module m {
	prefix p;
	namespace "

	list l {
		must "";
	}
}