unused-args

[Matthew Fluet]

Damn it!  I thought those numbers looked suspiciously like Steve's results
for the local flatten.  And they are, because I didn't change the action
of the -unused-args flag from updating Control.localFlatten when I
cut&pasted.