#include <stdio.h>

void init_crash_handler();
void dump_crash_info(FILE* file);
void write_stack_trace(FILE* file, int ignore_count);

}
void init_crash_handler()
{
}
void dump_crash_info(FILE* file)
{
}
void write_stack_trace(FILE* file, int ignore_count)
{