We need to bake in the pointer size: so, let's use 32 bit pointers, because they'll work on all architectures where 64 bit pointers won't.
We need to bake in the pointer size: so, let's use 32 bit pointers, because
they'll work on all architectures where 64 bit pointers won't.

--HG--
branch : master

davidgiven/cowgol,davidgiven/cowgol