public interface X {
  <spot>void foo();</spot>
}