a1batross flush: correctly reset marking states to not cause integer overflow i…