%
% trim any whitespace and reduce internal spaces to a single space
%
trim
{
 length(
 "  " " " replall
 length third eq ?
 pop2nd 
} loop
pop2nd