latest changes?
Merge branch 'master' of https://github.com/bonnebonne/autotest-sp3
SUper awesome halting problem solved. And fast for no inf_loop