that is able to trap the error (see bad.out, here):