EXCCODE_WATCH
case EXCCODE_WATCH:
[EXCCODE_WATCH] = handle_watch,
set_except_vector(EXCCODE_WATCH, handle_watch);