interface Interface {
	function f() external;
}
// ----