public class A {
    public synchronized int m() {
      return 42;
    }
  }