sclass S1 implements IJavaXCodeSafetyChecker {
  public Cl<S> getSafetyClasses(S code) {
    ret getCodeFragmentSafety(code);
  }
}