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