@Paul As you've probably guessed, I'm new on this platform. I didn't realise that it would still be possible to comment on a Closed question. Can you point me at some resource which sets out the basic semantics of question statuses? I thought I had "Read the FAQ", but it seems that there is more to learn here.

Thanks. The question was indeed based on a misunderstanding of where the code was running. One of the answers pointed this out, and from my PoV that was a helpful answer and the matter is closed. What concerns me is that the question might have been closed without my getting that (or any) answer, which leaves me wondering whether this site is intended for use by people who might have a problem based on a misunderstanding. I do my best to run a problem to ground before I post, but residual misunderstanding is always a possibility.