It's a dupe of <a href="https://news.ycombinator.com/item?id=38784322">https://news.ycombinator.com/item?id=38784322</a> which got no discussion. Did it appear another time? Also seen on lobsters: <a href="https://lobste.rs/s/dbwciq/4_billion_if_statements" rel="nofollow">https://lobste.rs/s/dbwciq/4_billion_if_statements</a>