#include "errcatch.h" void w2_errcatch_main() {}