void exception(Exception e){
        assert (e != null);
        
        stderr.print(preErr + preInternal);
        // Message printed with this call
        e.printStackTrace(stderr);
        errorsWritten++;
    }