Here's a respin, with davem's suggestion incorporated.

bloat-o-meter output is long because I gave things some consistent
names, but the summary is:

add/remove: 19/61 grow/shrink: 4/3 up/down: 728/-1354 (-626)

johannes

Reply via email to