This can be used to detect crashes due to bad streams (see the end of the program for the files which are tested)