fix compiler warning (add return to non void function)
extend the test to re-run the machine after finish