SERVER-12638 repro.js (shorter)