#include <stdlib.h>           
#include <iostream.h>         
#include <assert.h>           
// Begin local includes 
#include <odb_API.h>          
 
void stdB_initialize(int&);   
void stdB_finalize(int&);     
 
static int called = 0;        
 
void umkInitialize(int& active) { 
    if (called++) return;     
    active++;                 
 
    stdB_initialize(active);  
    odb_initializeAPI();   
} 
  
void umkFinalize(int& active) { 
    if (--called) return;     
    active--;                 
 
    odb_finalizeAPI();     
    stdB_finalize(active);    
} 
  
static int active;            
 
void HKSFinalize() {          
    if (active)               
       umkFinalize(active);   
    assert(active == 0);      
} 
extern "C" void _stdcall HKSMAIN(); 
int main(int argc, char** argv)
{  
    umkInitialize(active); 
    atexit(HKSFinalize);     
  
    int status = 0; 
    HKSMAIN();  
    HKSFinalize(); 
  
    return status; 
}