#!/usr/bin/awk -f

BEGIN {
	filename = ARGV[1];
	ARGV[1] = "";
	n = 0;
}

{ body[n++] = $0 }

END {
	for (i=0; i<n; ++i) print(body[i]) > filename;
}