module m {
	prefix p;
	namespace n;
	list l {
		if-feature 0(;
	}
}