blob: 1b86fafef0f2b6849eb0f7b9ed8016f70159cc50 [file] [log] [blame]
#include <stdlib.h>
int max_space_in_use = 0;
int space_in_use = 0;
void initialize_memory() {
}
void * xalloc(int size) {
return malloc(size);
}
void xfree(void *P, int size) {
free(P);
}