interface Empty {
	void doNothing();
};