Try to fix addr_stop_max.s