:
#sed 's/.$//' $1 | awk '
tr "\015" "\012" | awk '
BEGIN {
	FS="%!"
}
/.*\000*%!.*/ {
	printf("%!");
	for (i=2;i<=NF;i++)
		printf("%s",$i); 
	print ""
	next;
}
/.*[\000\177].*/ { exit; }
/^_E end.*/ {
	exit;
}
/^%%EOF.*/ {
	print "%%EOF";
	exit;
}
/^.*[\000].*/ { exit; }
{ print }
'
