 #pragma once
 
 #include <stdio.h>
 #include <stdlib.h>
 #include <execinfo.h>
 #include <cxxabi.h>
 
 void print_stacktrace(FILE *out = stderr);