sinterface JavaXCodeSafetyChecker {
  // override one of these
  
  default bool isCompletelySafe(S code) {
    ret eq(joinWithComma(getSafetyClasses(code)), "safe");
  }
  
  Cl<S> getSafetyClasses(S code) { null; }
}