--- a/src/temporal/smv.2.4.3/bdd.c
+++ b/src/temporal/smv.2.4.3/bdd.c
@@ -86,7 +86,7 @@ register int n;
    /* Initialize a keytable. */
    kp->n = n;
    kp->elements_in_table = 0;
-   kp->hash_table_buf = (bdd_ptr *)malloc(n*sizeof(bdd_ptr));
+   kp->hash_table_buf = (bdd_ptr *)smv_malloc(n*sizeof(bdd_ptr));
 
    {  /* Initialize hash bin list pointers to NULL. */
       register int i;
@@ -108,7 +108,7 @@ void init_bdd()
    /* Create key tables. */
    create_keytable(&reduce_table, KEYTABLESIZE);
    apply_cache_size = APPLY_CACHE_SIZE;
-   apply_cache = (apply_rec *)malloc(sizeof(apply_rec)*apply_cache_size);
+   apply_cache = (apply_rec *)smv_malloc(sizeof(apply_rec)*apply_cache_size);
    {
      int i;
      for(i=0;i<apply_cache_size;i++)apply_cache[i].op = 0;
diff --git a/src/temporal/smv.2.4.3/hash.c b/src/temporal/smv.2.4.3/hash.c
index 2370d63..1ceea54 100644
--- a/src/temporal/smv.2.4.3/hash.c
+++ b/src/temporal/smv.2.4.3/hash.c
@@ -7,12 +7,12 @@ int init_size;
 int (*hash_fun)(),(*eq_fun)();
 mgr_ptr mgr;
 {
-  hash_ptr res = (hash_ptr)malloc(sizeof(struct hash));
+  hash_ptr res = (hash_ptr)smv_malloc(sizeof(struct hash));
   res->size = init_size;
   res->hash_fun = hash_fun;
   res->eq_fun = eq_fun;
   res->mgr = mgr;
-  res->tab = (rec_ptr *)malloc(init_size * sizeof(rec_ptr));
+  res->tab = (rec_ptr *)smv_malloc(init_size * sizeof(rec_ptr));
   bzero(res->tab,init_size * sizeof(rec_ptr));
   return(res);
 }
diff --git a/src/temporal/smv.2.4.3/storage.c b/src/temporal/smv.2.4.3/storage.c
index c7dc4f9..e03a790 100644
--- a/src/temporal/smv.2.4.3/storage.c
+++ b/src/temporal/smv.2.4.3/storage.c
@@ -34,7 +34,7 @@ static getmore()
 }
 
 /* provide malloc for miscellaneuos storage allocation */
-char *malloc(n)
+char *smv_malloc(n)
 int n;
 {
   if(n % 4)n=n+4-(n%4);  /* always allocate multiple of four bytes */
diff --git a/src/temporal/smv.2.4.3/storage.h b/src/temporal/smv.2.4.3/storage.h
index d276559..afc29b3 100644
--- a/src/temporal/smv.2.4.3/storage.h
+++ b/src/temporal/smv.2.4.3/storage.h
@@ -12,7 +12,7 @@ typedef struct mgr{
 #define ALLOCSIZE (2<<15)
 
 void init_storage();
-char *malloc();
+char *smv_malloc();
 void free();
 mgr_ptr new_mgr();
 rec_ptr new_rec(),dup_rec();
diff --git a/src/temporal/smv.2.4.3/string.c b/src/temporal/smv.2.4.3/string.c
index 90a205a..fee5824 100644
--- a/src/temporal/smv.2.4.3/string.c
+++ b/src/temporal/smv.2.4.3/string.c
@@ -35,7 +35,7 @@ char *x;
   string_rec a,*res;
   a.text = x;
   if(res = (string_ptr)find_hash(string_hash,&a))return(res);
-  a.text = (char *)strcpy((char *)malloc(strlen(x)+1),x);
+  a.text = (char *)strcpy((char *)smv_malloc(strlen(x)+1),x);
   return((string_ptr)insert_hash(string_hash,&a));
 }