void __TBB_internal_free(void *object) { safer_scalable_free(object, original_free_ptr); }
void safer_scalable_free2( void *ptr) { safer_scalable_free( ptr, NULL ); }