--- main.cc.orig	2019-10-14 20:22:59.936629138 +0900
+++ main.cc	2019-10-14 20:23:51.800403048 +0900
@@ -214,3 +214,10 @@
 #endif  
   asymain(&args);
 }
+
+#ifdef USEGC
+GC_API void GC_CALL GC_throw_bad_alloc() {
+  std::bad_alloc();
+}
+#endif
+