A demo for the exception-counter project