size--;

    }
    if (mon_act != NULL)
    {
        fprintf(file, "Monster '%s' currently acting" EOL EOL,
                mon_act->name(DESC_PLAIN, true).c_str());

    if (mon_act_stack.size() != 0)
    {
        fprintf(file, "Others monsters acting:" EOL);
        for (unsigned int i = 0; i < mon_act_stack.size(); i++)
            fprintf(file, "Monster '%s'" EOL,
                    mon_act_stack[i]->name(DESC_PLAIN, true).c_str());
    }

void print_dlua_stack();

    fprintf(stderr, "\n");

    fprintf(stderr, EOL);

        // Have to use "\r\n" instead of just "\n" here, for some
        // reason.
        fprintf(stderr, "%s, function %s, line %d\r\n", file,

        fprintf(stderr, "%s, function %s, line %d" EOL, file,

    fprintf(stderr, "\n");

    fprintf(stderr, EOL);

        fprintf(stderr, EOL "nWriting crash info to %s" EOL, name);

    {
        fprintf(stderr, EOL "Writing crash info to %s" EOL, name);
        // Merge stderr into file, so that the lua stack dumping functions
        // (and anything else that uses stderr) will send everything to
        // the output file.
        dup2(fileno(file), fileno(stderr));
        // Unbuffer the output file stream, to match with stderr.
        setvbuf(file, NULL, _IONBF, 0);
    }

    // Ignore the top five stack frames, since the first three involve
    // signal handling and the last two are do_crash_dump() and
    // write_stack_trace().
    write_stack_trace(file, 5);

    write_stack_trace(file, 0);

    // Dumping the crawl state is least likely to cause another crash,

    // Dumping the Lua stacks isn't that likely to crash.
    fprintf(file, "clua stack:" EOL);
    print_clua_stack();
    fprintf(file, "dlua stack:" EOL);
    print_dlua_stack();
    // Dumping the crawl state is next least likely to cause another crash,

    fprintf(file, "Crash caused by signal #%d: %s" EOL, _crash_signal,

    fprintf(file, "Crash caused by signal #%d: %s" EOL EOL, _crash_signal,

void print_clua_stack();

    fprintf(stderr, "\n");

    fprintf(stderr, EOL);

        // Have to use "\r\n" instead of just "\n" here, for some
        // reason.
        fprintf(stderr, "%s, function %s, line %d\r\n", file,

        fprintf(stderr, "%s, function %s, line %d" EOL, file,

    fprintf(stderr, "\n");

    fprintf(stderr, EOL);