+extern void print_one_backtrace(pmap_t pmap, vm_offset_t topfp, const char *cur_marker, boolean_t is_64_bit);
+extern void print_thread_num_that_crashed(task_t task);
+extern void print_tasks_user_threads(task_t task);
+extern void print_threads_registers(thread_t thread);
+extern void print_uuid_info(task_t task);
+extern void print_launchd_info(void);
+