procedure eve_whitespace_compress
eve$compress_whitespace;
endprocedure