Add count_max.s and fix addr_stop_max.s