Бывший инженер Microsoft рассказал, как баг разогнал игру 3D Pinball до 5000 FPS