Re: [TUHS] 32V memory management: not quite V7 style swapping -- source code update