extern "C" int d_function() { return 700; }