q3:halteproblem