you don't even need turing-completeness to write a bug that takes down prod :-)