sS markCodeSafe(S code) {
  ret markAllIdentifiersInCodeSafe(code);
}