Could’ve saved a line if he’d written it in C++.
Update 1636 hrs: Or five lines, in PHP.
Update 10.5.03 1745 hrs: And Leonard points out that unless he puts a newline character in at the end there, it won’t look right at all.
Yeah, this didn’t actually turn out all that terse.