+void test_reset_heap(xbt_heap_t heap,int size)
+{
+ int i;
+ xbt_heap_free(heap);
+ heap = xbt_heap_new(size, NULL);
+
+ for (i = 0; i < size; i++){
+ xbt_heap_push(heap, NULL, (10.0 * rand() / (RAND_MAX + 1.0)));
+ }
+
+}
+
+#ifdef __BORLANDC__
+#pragma argsused
+#endif
+