public interface IAmNonEmpty {
	public void m();
}