interface Interface {
	function f();
}
// ----
// Warning: (23-36): Functions in interfaces should be declared external.
// Warning: (23-36): No visibility specified. Defaulting to "public". In interfaces it defaults to external.