536       exit(1);  in runStream()
540       exit(1);  in runStream()
545       exit(1);  in runStream()
564       exit(-2000);  in runStream()
578       exit(-3000);  in runStream()
592       exit(-4000);  in runStream()
607       exit(-5000);  in runStream()
622       exit(-6000);  in runStream()
750       exit(1);  in runStreamDouble()
754       exit(1);  in runStreamDouble()
759       exit(1);  in runStreamDouble()
778       exit(-2000);  in runStreamDouble()
792       exit(-3000);  in runStreamDouble()
805       exit(-4000);  in runStreamDouble()
820       exit(-5000);  in runStreamDouble()
835       exit(-6000);  in runStreamDouble()