I guess I had better define decrease_flag if I'm going to use it.