Sometimes a bug is hit only after code was executed 100 000 000 000 000 (100 trillion) times — Spotify’s underflow bug