Oh, neat.

(I just checked, even `--opt-level=1` optimises this to a single GEPi.)