example to show problems with istanbul coverage for js