import java.lang.Deprecated;
import test.DeprecationSchedule;

package test {
  public class TestClass {
    ctor @DeprecationSchedule(version=64, id="test-deprecation") @Deprecated TestClass();
  }
}
