I gather you're trying to use those pins for other purposes?

From the listing description, it says that the display uses pins GPIOs 23, 18, 15, 2, 4.

So I would expect odd behaviour if you use those pins for something else.

I've some kind of problem in my C macro ULP program for pulse counting where seemingly I'm not counting pulses. It's entirely possible that I'm reading / writing to wrong registers or RCT memory, or perhaps something else. Every time I read the RTC memory, both counters (and last-state) are zero. It...