Compilers: trying to solve the halting problem since 1951.