Traps \] and ^C added (yet to be debugged