package I {
    public interface I1 {
        function f() {
            trace("..."); // method body not allowed
        }
    }
}