int main(int argc, char** argv) { rt_init(); int rc = helloFromD(); rt_term(); return rc; }
D_Initializer::~D_Initializer() { rt_term(); }
static void frontend_term() { gc_enable(); rt_term(); }
__attribute__((destructor)) static void finalizer () { rt_term(); }