That was the very first function reduced, before I came up with the data slice model in 59688e23fc.
59688e23fc