sbool isKnownVoidFunction(S name) {
  ret mL_localCopy("Void Standard Functions").contains(name);
}