Determing whether or not arbitrary code is looping is actually impossisble (halting problem).