There was a typo in the last case where Naive was used instead of ThreadLocal, but it doesn't changes the result. We tested AV vs simple