30 Aug
2008
30 Aug
'08
5:55 p.m.
Committed in a slightly updated form (I moved the declarations up a few lines to stand next to the one for error(), to make the grouping more systematic).