And "stochastic superoptimization" sounds so much cooler than their original term; "super-duper random improvement."