chiark / gitweb /
DEALLOCATE-MEMORY should now actually free memory