static Set<S> availableCharsets() {
  ret keys(java.nio.charset.Charset.availableCharsets());
}