I had the user configuration flag also set in main.h in a user section. No, it didn’t appear to be working, and now it is.
On the other hand, I still have a problem with keeping the heap4c code intact with the instruction to create the variable in user space.