44 static bool _storage_used ;
45 static std::new_handler _global_handler ;
48 static void swap_memory() ;
49 static void release_global_pool()
throw (std::bad_alloc) ;
50 static void register_global_pool() ;
51 static bool unregister_global_pool() ;
52 static bool check_memory_pool() ;