Add global done, timer.  Fix some ABC notation.