#pragma once
#include <stdio.h>

__attribute__ ((noinline))
void print_stacktrace(FILE *out, int offset);