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