// Non-ASCII characters: éééé
function utf8ExternalFunction() {
  return "ünïcödé漢";
}