1 // This file defines some code to print stack traces. 2 3 #pragma once 4 5 #include <stdio.h> 6 7 __attribute__((noinline)) void print_stacktrace(FILE *out, int offset);