just handed in 3b, it failed once but was never reproducible in 50 runs. WTF