FILE* get_debug();