haltest: silence warning due to dangling-else.