new file:   thread-safe_re-entrant.html