package annotator.tests;

public class LocalVariables {
  public void foo() {
    /*Mut*/ @java.lang.UnderInitialization Object a = null;
    Object b = null;
    Object c = null;
  }
}