sS markIdentifierUnsafe(S identifier) {
  ret setIdentifierSafetyLevel(identifier, "unsafe");
}