defines flushed_one & flushed_some