interface Interface {
	function f() public;
}
// ----
// Warning: (23-43): Functions in interfaces should be declared external.