minor fix: count_processors; retstat is const.