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