sS markSafe(S identifier) {
  ret markIdentifierSafe(identifier);
}