# fold:  fold long lines
sed 's/\(->/    /g' $* |	# convert tabs to spaces
awk '
BEGIN {
	N = 80		# folds at column 80
	for (i = 1; i <= N; i++)	# make a string of blanks
		blanks = blanks " "
}
{	if ((n = length($0)) <= N)
		print
	else {
		for (i = 1; n > N; n -= N) {
			printf "%s\\\n", substr($0,i,N)
			i += N;
		}
		printf "%s%s\n", substr(blanks,1,N-n), substr($0,i)
	}
} '
