Emphasis added as I'd missed that on first reading and it turned out I was using GPIOs 32 and 33 (hidden behind #defined constants so I'd forgotten)... read from either GPIO_OUT_REG (31..0) or GPIO_OUT1_REG (32..39)....
Thank you for the example; it's working great.