Halt does not need a printf