all_zero ok