interface I {

  synchronized void foo();
}
public class Thirteen {
}