+extern const int COLOR_platform__MModule__target_platform;
+extern const int COLOR_platform__Platform__supports_libunwind;
+extern const int COLOR_abstract_compiler__ToolContext__opt_no_stacktrace;
+val* BOX_kernel__Bool(short int);
+extern const int COLOR_opts__Option__value_61d;
+extern const int COLOR_abstract_compiler__ToolContext__opt_stacktrace;