Chop out the workspace pointer in X stuff --- it's just not worth it. 753152 to 702976 bytes (6.7%).
Chop out the workspace pointer in X stuff --- it's just not worth it. 753152 to
702976 bytes (6.7%).

davidgiven/cowgol,davidgiven/cowgol