The production bug that made me care about undefined behavior