Are we testing that ++ does not mistakenly double increment? :)