https://www.hex-rays.com/contests/2012/