From 1befa488f6a3e103301bcc19c69007102a626b4c Mon Sep 17 00:00:00 2001
From: rlar <rlar>
Date: Wed, 14 Feb 2018 21:54:15 +0100
Subject: [PATCH] DEVdestroy(), change API, #1/2, coccinelle semantic patch

---
 src/spicelib/devices/asrc/asrcext.h           |  2 +-
 src/spicelib/devices/bjt/bjtdest.c            | 17 +----------------
 src/spicelib/devices/bjt/bjtext.h             |  2 +-
 src/spicelib/devices/bsim1/b1dest.c           | 17 +----------------
 src/spicelib/devices/bsim1/bsim1ext.h         |  2 +-
 src/spicelib/devices/bsim2/b2dest.c           | 17 +----------------
 src/spicelib/devices/bsim2/bsim2ext.h         |  2 +-
 src/spicelib/devices/bsim3/b3dest.c           | 19 +------------------
 src/spicelib/devices/bsim3/bsim3ext.h         |  2 +-
 .../devices/bsim3soi_dd/b3soidddest.c         | 17 +----------------
 src/spicelib/devices/bsim3soi_dd/b3soiddext.h |  2 +-
 .../devices/bsim3soi_fd/b3soifddest.c         | 17 +----------------
 src/spicelib/devices/bsim3soi_fd/b3soifdext.h |  2 +-
 .../devices/bsim3soi_pd/b3soipddest.c         | 17 +----------------
 src/spicelib/devices/bsim3soi_pd/b3soipdext.h |  2 +-
 src/spicelib/devices/bsim3v0/b3v0dest.c       | 17 +----------------
 src/spicelib/devices/bsim3v0/bsim3v0ext.h     |  2 +-
 src/spicelib/devices/bsim3v1/b3v1dest.c       | 17 +----------------
 src/spicelib/devices/bsim3v1/bsim3v1ext.h     |  2 +-
 src/spicelib/devices/bsim3v32/b3v32dest.c     | 18 +-----------------
 src/spicelib/devices/bsim3v32/bsim3v32ext.h   |  2 +-
 src/spicelib/devices/bsim4/b4dest.c           | 18 +-----------------
 src/spicelib/devices/bsim4/bsim4ext.h         |  2 +-
 src/spicelib/devices/bsim4v5/b4v5dest.c       | 18 +-----------------
 src/spicelib/devices/bsim4v5/bsim4v5ext.h     |  2 +-
 src/spicelib/devices/bsim4v6/b4v6dest.c       | 18 +-----------------
 src/spicelib/devices/bsim4v6/bsim4v6ext.h     |  2 +-
 src/spicelib/devices/bsim4v7/b4v7dest.c       | 18 +-----------------
 src/spicelib/devices/bsim4v7/bsim4v7ext.h     |  2 +-
 src/spicelib/devices/bsimsoi/b4soidest.c      | 18 +-----------------
 src/spicelib/devices/bsimsoi/b4soiext.h       |  2 +-
 src/spicelib/devices/cap/capdest.c            | 17 +----------------
 src/spicelib/devices/cap/capext.h             |  2 +-
 src/spicelib/devices/cccs/cccsdest.c          | 17 +----------------
 src/spicelib/devices/cccs/cccsext.h           |  2 +-
 src/spicelib/devices/ccvs/ccvsdest.c          | 17 +----------------
 src/spicelib/devices/ccvs/ccvsext.h           |  2 +-
 src/spicelib/devices/cpl/cpldest.c            | 17 +----------------
 src/spicelib/devices/cpl/cplext.h             |  2 +-
 src/spicelib/devices/csw/cswdest.c            | 17 +----------------
 src/spicelib/devices/csw/cswext.h             |  2 +-
 src/spicelib/devices/dio/diodest.c            | 17 +----------------
 src/spicelib/devices/dio/dioext.h             |  2 +-
 src/spicelib/devices/hfet1/hfetdest.c         | 17 +----------------
 src/spicelib/devices/hfet1/hfetext.h          |  2 +-
 src/spicelib/devices/hfet2/hfet2dest.c        | 17 +----------------
 src/spicelib/devices/hfet2/hfet2ext.h         |  2 +-
 src/spicelib/devices/hisim2/hsm2dest.c        | 18 +-----------------
 src/spicelib/devices/hisim2/hsm2ext.h         |  2 +-
 src/spicelib/devices/hisimhv1/hsmhvdest.c     | 17 +----------------
 src/spicelib/devices/hisimhv1/hsmhvext.h      |  2 +-
 src/spicelib/devices/hisimhv2/hsmhv2dest.c    | 17 +----------------
 src/spicelib/devices/hisimhv2/hsmhv2ext.h     |  2 +-
 src/spicelib/devices/ind/inddest.c            | 17 +----------------
 src/spicelib/devices/ind/indext.h             |  4 ++--
 src/spicelib/devices/ind/mutdest.c            | 17 +----------------
 src/spicelib/devices/isrc/isrcdest.c          | 17 +----------------
 src/spicelib/devices/isrc/isrcext.h           |  2 +-
 src/spicelib/devices/jfet/jfetdest.c          | 17 +----------------
 src/spicelib/devices/jfet/jfetext.h           |  2 +-
 src/spicelib/devices/jfet2/jfet2dest.c        | 17 +----------------
 src/spicelib/devices/jfet2/jfet2ext.h         |  2 +-
 src/spicelib/devices/ltra/ltradest.c          | 17 +----------------
 src/spicelib/devices/ltra/ltraext.h           |  2 +-
 src/spicelib/devices/mes/mesdest.c            | 17 +----------------
 src/spicelib/devices/mes/mesext.h             |  2 +-
 src/spicelib/devices/mesa/mesadest.c          | 17 +----------------
 src/spicelib/devices/mesa/mesaext.h           |  2 +-
 src/spicelib/devices/mos1/mos1dest.c          | 17 +----------------
 src/spicelib/devices/mos1/mos1ext.h           |  2 +-
 src/spicelib/devices/mos2/mos2dest.c          | 17 +----------------
 src/spicelib/devices/mos2/mos2ext.h           |  2 +-
 src/spicelib/devices/mos3/mos3dest.c          | 17 +----------------
 src/spicelib/devices/mos3/mos3ext.h           |  2 +-
 src/spicelib/devices/mos6/mos6dest.c          | 17 +----------------
 src/spicelib/devices/mos6/mos6ext.h           |  2 +-
 src/spicelib/devices/mos9/mos9dest.c          | 17 +----------------
 src/spicelib/devices/mos9/mos9ext.h           |  2 +-
 src/spicelib/devices/nbjt/nbjtdest.c          | 17 +----------------
 src/spicelib/devices/nbjt/nbjtext.h           |  2 +-
 src/spicelib/devices/nbjt2/nbjt2ext.h         |  2 +-
 src/spicelib/devices/nbjt2/nbt2dest.c         | 17 +----------------
 src/spicelib/devices/ndev/ndevdest.c          | 17 +----------------
 src/spicelib/devices/ndev/ndevext.h           |  2 +-
 src/spicelib/devices/numd/numddest.c          | 17 +----------------
 src/spicelib/devices/numd/numdext.h           |  2 +-
 src/spicelib/devices/numd2/nud2dest.c         | 17 +----------------
 src/spicelib/devices/numd2/numd2ext.h         |  2 +-
 src/spicelib/devices/numos/nummdest.c         | 17 +----------------
 src/spicelib/devices/numos/numosext.h         |  2 +-
 src/spicelib/devices/res/resdest.c            | 17 +----------------
 src/spicelib/devices/res/resext.h             |  2 +-
 src/spicelib/devices/soi3/soi3dest.c          | 17 +----------------
 src/spicelib/devices/soi3/soi3ext.h           |  2 +-
 src/spicelib/devices/sw/swdest.c              | 17 +----------------
 src/spicelib/devices/sw/swext.h               |  2 +-
 src/spicelib/devices/tra/tradest.c            | 17 +----------------
 src/spicelib/devices/tra/traext.h             |  2 +-
 src/spicelib/devices/txl/txldest.c            | 17 +----------------
 src/spicelib/devices/txl/txlext.h             |  2 +-
 src/spicelib/devices/urc/urcdest.c            | 17 +----------------
 src/spicelib/devices/urc/urcext.h             |  2 +-
 src/spicelib/devices/vbic/vbicdest.c          | 17 +----------------
 src/spicelib/devices/vbic/vbicext.h           |  2 +-
 src/spicelib/devices/vccs/vccsdest.c          | 17 +----------------
 src/spicelib/devices/vccs/vccsext.h           |  2 +-
 src/spicelib/devices/vcvs/vcvsdest.c          | 17 +----------------
 src/spicelib/devices/vcvs/vcvsext.h           |  2 +-
 src/spicelib/devices/vsrc/vsrcdest.c          | 17 +----------------
 src/spicelib/devices/vsrc/vsrcext.h           |  2 +-
 110 files changed, 111 insertions(+), 945 deletions(-)

diff --git a/src/spicelib/devices/asrc/asrcext.h b/src/spicelib/devices/asrc/asrcext.h
index 81510999e..c76065393 100644
--- a/src/spicelib/devices/asrc/asrcext.h
+++ b/src/spicelib/devices/asrc/asrcext.h
@@ -6,7 +6,7 @@ Author: 1985 Thomas L. Quarles
 extern int ASRCask(CKTcircuit *, GENinstance *, int, IFvalue *, IFvalue*);
 extern int ASRCconvTest(GENmodel *, CKTcircuit *);
 extern int ASRCdelete(GENinstance *);
-extern void ASRCdestroy(GENmodel **);
+extern void ASRCdestroy(void);
 extern int ASRCfindBr(CKTcircuit *, GENmodel *, IFuid);
 extern int ASRCload(GENmodel *, CKTcircuit *);
 extern int ASRCmDelete(GENmodel *);
diff --git a/src/spicelib/devices/bjt/bjtdest.c b/src/spicelib/devices/bjt/bjtdest.c
index 354017323..f308c6787 100644
--- a/src/spicelib/devices/bjt/bjtdest.c
+++ b/src/spicelib/devices/bjt/bjtdest.c
@@ -14,21 +14,6 @@ Author: 1985 Thomas L. Quarles
 
 
 void
-BJTdestroy(GENmodel **inModel)
+BJTdestroy(void)
 {
-    BJTmodel *mod = *(BJTmodel**) inModel;
-
-    while (mod) {
-        BJTmodel *next_mod = mod->BJTnextModel;
-        BJTinstance *inst = mod->BJTinstances;
-        while (inst) {
-            BJTinstance *next_inst = inst->BJTnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/bjt/bjtext.h b/src/spicelib/devices/bjt/bjtext.h
index d4db1d732..39703b3b7 100644
--- a/src/spicelib/devices/bjt/bjtext.h
+++ b/src/spicelib/devices/bjt/bjtext.h
@@ -11,7 +11,7 @@ extern int BJTacLoad(GENmodel *,CKTcircuit*);
 extern int BJTask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int BJTconvTest(GENmodel*,CKTcircuit*);
 extern int BJTdelete(GENinstance*);
-extern void BJTdestroy(GENmodel**);
+extern void BJTdestroy(void);
 extern int BJTgetic(GENmodel*,CKTcircuit*);
 extern int BJTload(GENmodel*,CKTcircuit*);
 extern int BJTmAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
diff --git a/src/spicelib/devices/bsim1/b1dest.c b/src/spicelib/devices/bsim1/b1dest.c
index 4b107ba59..be7f72943 100644
--- a/src/spicelib/devices/bsim1/b1dest.c
+++ b/src/spicelib/devices/bsim1/b1dest.c
@@ -9,21 +9,6 @@ Author: 1985 Hong J. Park, Thomas L. Quarles
 
 
 void
-B1destroy(GENmodel **inModel)
+B1destroy(void)
 {
-    B1model *mod = *(B1model**) inModel;
-
-    while (mod) {
-        B1model *next_mod = mod->B1nextModel;
-        B1instance *inst = mod->B1instances;
-        while (inst) {
-            B1instance *next_inst = inst->B1nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/bsim1/bsim1ext.h b/src/spicelib/devices/bsim1/bsim1ext.h
index a0acd26c8..e1999c606 100644
--- a/src/spicelib/devices/bsim1/bsim1ext.h
+++ b/src/spicelib/devices/bsim1/bsim1ext.h
@@ -9,7 +9,7 @@ extern int B1acLoad(GENmodel *,CKTcircuit*);
 extern int B1ask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int B1convTest(GENmodel *,CKTcircuit*);
 extern int B1delete(GENinstance*);
-extern void B1destroy(GENmodel**);
+extern void B1destroy(void);
 extern int B1getic(GENmodel*,CKTcircuit*);
 extern int B1load(GENmodel*,CKTcircuit*);
 extern int B1mAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/bsim2/b2dest.c b/src/spicelib/devices/bsim2/b2dest.c
index 20e1d99b2..bc4e7ea0a 100644
--- a/src/spicelib/devices/bsim2/b2dest.c
+++ b/src/spicelib/devices/bsim2/b2dest.c
@@ -9,21 +9,6 @@ Author: 1985 Hong J. Park, Thomas L. Quarles
 
 
 void
-B2destroy(GENmodel **inModel)
+B2destroy(void)
 {
-    B2model *mod = *(B2model**) inModel;
-
-    while (mod) {
-        B2model *next_mod = mod->B2nextModel;
-        B2instance *inst = mod->B2instances;
-        while (inst) {
-            B2instance *next_inst = inst->B2nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/bsim2/bsim2ext.h b/src/spicelib/devices/bsim2/bsim2ext.h
index 7c0938684..337db65ae 100644
--- a/src/spicelib/devices/bsim2/bsim2ext.h
+++ b/src/spicelib/devices/bsim2/bsim2ext.h
@@ -7,7 +7,7 @@ extern int B2acLoad(GENmodel *,CKTcircuit*);
 extern int B2ask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int B2convTest(GENmodel *,CKTcircuit*);
 extern int B2delete(GENinstance*);
-extern void B2destroy(GENmodel**);
+extern void B2destroy(void);
 extern int B2getic(GENmodel*,CKTcircuit*);
 extern int B2load(GENmodel*,CKTcircuit*);
 extern int B2mAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/bsim3/b3dest.c b/src/spicelib/devices/bsim3/b3dest.c
index b49fbd154..5be833512 100644
--- a/src/spicelib/devices/bsim3/b3dest.c
+++ b/src/spicelib/devices/bsim3/b3dest.c
@@ -14,23 +14,6 @@
 
 
 void
-BSIM3destroy(GENmodel **inModel)
+BSIM3destroy(void)
 {
-    BSIM3model *mod = *(BSIM3model**) inModel;
-
-    while (mod) {
-        BSIM3model *next_mod = mod->BSIM3nextModel;
-        BSIM3instance *inst = mod->BSIM3instances;
-
-        while (inst) {
-            BSIM3instance *next_inst = inst->BSIM3nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/bsim3/bsim3ext.h b/src/spicelib/devices/bsim3/bsim3ext.h
index ae547203e..0c03e8be5 100644
--- a/src/spicelib/devices/bsim3/bsim3ext.h
+++ b/src/spicelib/devices/bsim3/bsim3ext.h
@@ -9,7 +9,7 @@ extern int BSIM3acLoad(GENmodel *,CKTcircuit*);
 extern int BSIM3ask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int BSIM3convTest(GENmodel *,CKTcircuit*);
 extern int BSIM3delete(GENinstance*);
-extern void BSIM3destroy(GENmodel**);
+extern void BSIM3destroy(void);
 extern int BSIM3getic(GENmodel*,CKTcircuit*);
 extern int BSIM3load(GENmodel*,CKTcircuit*);
 extern int BSIM3mAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/bsim3soi_dd/b3soidddest.c b/src/spicelib/devices/bsim3soi_dd/b3soidddest.c
index bb0151fa6..10042914b 100644
--- a/src/spicelib/devices/bsim3soi_dd/b3soidddest.c
+++ b/src/spicelib/devices/bsim3soi_dd/b3soidddest.c
@@ -16,21 +16,6 @@ Modified by Paolo Nenzi 2002
 
 
 void
-B3SOIDDdestroy(GENmodel **inModel)
+B3SOIDDdestroy(void)
 {
-    B3SOIDDmodel *mod = *(B3SOIDDmodel**) inModel;
-
-    while (mod) {
-        B3SOIDDmodel *next_mod = mod->B3SOIDDnextModel;
-        B3SOIDDinstance *inst = mod->B3SOIDDinstances;
-        while (inst) {
-            B3SOIDDinstance *next_inst = inst->B3SOIDDnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/bsim3soi_dd/b3soiddext.h b/src/spicelib/devices/bsim3soi_dd/b3soiddext.h
index f74b3ac98..107b4d7ab 100644
--- a/src/spicelib/devices/bsim3soi_dd/b3soiddext.h
+++ b/src/spicelib/devices/bsim3soi_dd/b3soiddext.h
@@ -9,7 +9,7 @@ extern int B3SOIDDacLoad(GENmodel *,CKTcircuit*);
 extern int B3SOIDDask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int B3SOIDDconvTest(GENmodel *,CKTcircuit*);
 extern int B3SOIDDdelete(GENinstance*);
-extern void B3SOIDDdestroy(GENmodel**);
+extern void B3SOIDDdestroy(void);
 extern int B3SOIDDgetic(GENmodel*,CKTcircuit*);
 extern int B3SOIDDload(GENmodel*,CKTcircuit*);
 extern int B3SOIDDmAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/bsim3soi_fd/b3soifddest.c b/src/spicelib/devices/bsim3soi_fd/b3soifddest.c
index f2c90a571..b7fbc744d 100644
--- a/src/spicelib/devices/bsim3soi_fd/b3soifddest.c
+++ b/src/spicelib/devices/bsim3soi_fd/b3soifddest.c
@@ -16,21 +16,6 @@ File: b3soifddest.c          98/5/01
 
 
 void
-B3SOIFDdestroy(GENmodel **inModel)
+B3SOIFDdestroy(void)
 {
-    B3SOIFDmodel *mod = *(B3SOIFDmodel**) inModel;
-
-    while (mod) {
-        B3SOIFDmodel *next_mod = mod->B3SOIFDnextModel;
-        B3SOIFDinstance *inst = mod->B3SOIFDinstances;
-        while (inst) {
-            B3SOIFDinstance *next_inst = inst->B3SOIFDnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/bsim3soi_fd/b3soifdext.h b/src/spicelib/devices/bsim3soi_fd/b3soifdext.h
index 7bde5328b..a1a30408f 100644
--- a/src/spicelib/devices/bsim3soi_fd/b3soifdext.h
+++ b/src/spicelib/devices/bsim3soi_fd/b3soifdext.h
@@ -9,7 +9,7 @@ extern int B3SOIFDacLoad(GENmodel *,CKTcircuit*);
 extern int B3SOIFDask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int B3SOIFDconvTest(GENmodel *,CKTcircuit*);
 extern int B3SOIFDdelete(GENinstance*);
-extern void B3SOIFDdestroy(GENmodel**);
+extern void B3SOIFDdestroy(void);
 extern int B3SOIFDgetic(GENmodel*,CKTcircuit*);
 extern int B3SOIFDload(GENmodel*,CKTcircuit*);
 extern int B3SOIFDmAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/bsim3soi_pd/b3soipddest.c b/src/spicelib/devices/bsim3soi_pd/b3soipddest.c
index 8f6c65f50..6ddbedc51 100644
--- a/src/spicelib/devices/bsim3soi_pd/b3soipddest.c
+++ b/src/spicelib/devices/bsim3soi_pd/b3soipddest.c
@@ -16,21 +16,6 @@ Modified by Paolo Nenzi 2002
 
 
 void
-B3SOIPDdestroy(GENmodel **inModel)
+B3SOIPDdestroy(void)
 {
-    B3SOIPDmodel *mod = *(B3SOIPDmodel**) inModel;
-
-    while (mod) {
-        B3SOIPDmodel *next_mod = mod->B3SOIPDnextModel;
-        B3SOIPDinstance *inst = mod->B3SOIPDinstances;
-        while (inst) {
-            B3SOIPDinstance *next_inst = inst->B3SOIPDnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/bsim3soi_pd/b3soipdext.h b/src/spicelib/devices/bsim3soi_pd/b3soipdext.h
index 1cfa3ec63..78fb436b0 100644
--- a/src/spicelib/devices/bsim3soi_pd/b3soipdext.h
+++ b/src/spicelib/devices/bsim3soi_pd/b3soipdext.h
@@ -9,7 +9,7 @@ extern int B3SOIPDacLoad(GENmodel *,CKTcircuit*);
 extern int B3SOIPDask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int B3SOIPDconvTest(GENmodel *,CKTcircuit*);
 extern int B3SOIPDdelete(GENinstance*);
-extern void B3SOIPDdestroy(GENmodel**);
+extern void B3SOIPDdestroy(void);
 extern int B3SOIPDgetic(GENmodel*,CKTcircuit*);
 extern int B3SOIPDload(GENmodel*,CKTcircuit*);
 extern int B3SOIPDmAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/bsim3v0/b3v0dest.c b/src/spicelib/devices/bsim3v0/b3v0dest.c
index 2188a5bb8..333422e0e 100644
--- a/src/spicelib/devices/bsim3v0/b3v0dest.c
+++ b/src/spicelib/devices/bsim3v0/b3v0dest.c
@@ -10,21 +10,6 @@ File: b3v0dest.c
 
 
 void
-BSIM3v0destroy(GENmodel **inModel)
+BSIM3v0destroy(void)
 {
-    BSIM3v0model *mod = *(BSIM3v0model**) inModel;
-
-    while (mod) {
-        BSIM3v0model *next_mod = mod->BSIM3v0nextModel;
-        BSIM3v0instance *inst = mod->BSIM3v0instances;
-        while (inst) {
-            BSIM3v0instance *next_inst = inst->BSIM3v0nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/bsim3v0/bsim3v0ext.h b/src/spicelib/devices/bsim3v0/bsim3v0ext.h
index 13d38e90a..2c5fdfcf6 100644
--- a/src/spicelib/devices/bsim3v0/bsim3v0ext.h
+++ b/src/spicelib/devices/bsim3v0/bsim3v0ext.h
@@ -8,7 +8,7 @@ extern int BSIM3v0acLoad(GENmodel *,CKTcircuit*);
 extern int BSIM3v0ask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int BSIM3v0convTest(GENmodel *,CKTcircuit*);
 extern int BSIM3v0delete(GENinstance*);
-extern void BSIM3v0destroy(GENmodel**);
+extern void BSIM3v0destroy(void);
 extern int BSIM3v0getic(GENmodel*,CKTcircuit*);
 extern int BSIM3v0load(GENmodel*,CKTcircuit*);
 extern int BSIM3v0mAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/bsim3v1/b3v1dest.c b/src/spicelib/devices/bsim3v1/b3v1dest.c
index 6fa9a6c0d..73d7626ea 100644
--- a/src/spicelib/devices/bsim3v1/b3v1dest.c
+++ b/src/spicelib/devices/bsim3v1/b3v1dest.c
@@ -16,21 +16,6 @@
 
 
 void
-BSIM3v1destroy(GENmodel **inModel)
+BSIM3v1destroy(void)
 {
-    BSIM3v1model *mod = *(BSIM3v1model**) inModel;
-
-    while (mod) {
-        BSIM3v1model *next_mod = mod->BSIM3v1nextModel;
-        BSIM3v1instance *inst = mod->BSIM3v1instances;
-        while (inst) {
-            BSIM3v1instance *next_inst = inst->BSIM3v1nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/bsim3v1/bsim3v1ext.h b/src/spicelib/devices/bsim3v1/bsim3v1ext.h
index d17f5f724..972b089ad 100644
--- a/src/spicelib/devices/bsim3v1/bsim3v1ext.h
+++ b/src/spicelib/devices/bsim3v1/bsim3v1ext.h
@@ -9,7 +9,7 @@ extern int BSIM3v1acLoad(GENmodel *, CKTcircuit *);
 extern int BSIM3v1ask(CKTcircuit *, GENinstance *, int, IFvalue *, IFvalue *);
 extern int BSIM3v1convTest(GENmodel *, CKTcircuit *);
 extern int BSIM3v1delete(GENinstance *);
-extern void BSIM3v1destroy(GENmodel **);
+extern void BSIM3v1destroy(void);
 extern int BSIM3v1getic(GENmodel *, CKTcircuit *);
 extern int BSIM3v1load(GENmodel *, CKTcircuit *);
 extern int BSIM3v1mAsk(CKTcircuit *, GENmodel *, int, IFvalue *);
diff --git a/src/spicelib/devices/bsim3v32/b3v32dest.c b/src/spicelib/devices/bsim3v32/b3v32dest.c
index 461c16436..805748613 100644
--- a/src/spicelib/devices/bsim3v32/b3v32dest.c
+++ b/src/spicelib/devices/bsim3v32/b3v32dest.c
@@ -15,22 +15,6 @@
 
 
 void
-BSIM3v32destroy (GENmodel **inModel)
+BSIM3v32destroy (void)
 {
-    BSIM3v32model *mod = *(BSIM3v32model**) inModel;
-
-    while (mod) {
-        BSIM3v32model *next_mod = mod->BSIM3v32nextModel;
-        BSIM3v32instance *inst = mod->BSIM3v32instances;
-        while (inst) {
-            BSIM3v32instance *next_inst = inst->BSIM3v32nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/bsim3v32/bsim3v32ext.h b/src/spicelib/devices/bsim3v32/bsim3v32ext.h
index 597501d66..9d02c7e3b 100644
--- a/src/spicelib/devices/bsim3v32/bsim3v32ext.h
+++ b/src/spicelib/devices/bsim3v32/bsim3v32ext.h
@@ -10,7 +10,7 @@ extern int BSIM3v32acLoad(GENmodel *,CKTcircuit*);
 extern int BSIM3v32ask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int BSIM3v32convTest(GENmodel *,CKTcircuit*);
 extern int BSIM3v32delete(GENinstance*);
-extern void BSIM3v32destroy(GENmodel**);
+extern void BSIM3v32destroy(void);
 extern int BSIM3v32getic(GENmodel*,CKTcircuit*);
 extern int BSIM3v32load(GENmodel*,CKTcircuit*);
 extern int BSIM3v32mAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/bsim4/b4dest.c b/src/spicelib/devices/bsim4/b4dest.c
index e8290159b..bb75d330a 100644
--- a/src/spicelib/devices/bsim4/b4dest.c
+++ b/src/spicelib/devices/bsim4/b4dest.c
@@ -64,22 +64,6 @@
 
 
 void
-BSIM4destroy(GENmodel **inModel)
+BSIM4destroy(void)
 {
-    BSIM4model *mod = *(BSIM4model**) inModel;
-
-    while (mod) {
-        BSIM4model *next_mod = mod->BSIM4nextModel;
-        BSIM4instance *inst = mod->BSIM4instances;
-        while (inst) {
-            BSIM4instance *next_inst = inst->BSIM4nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/bsim4/bsim4ext.h b/src/spicelib/devices/bsim4/bsim4ext.h
index 814c48137..ba69998ec 100644
--- a/src/spicelib/devices/bsim4/bsim4ext.h
+++ b/src/spicelib/devices/bsim4/bsim4ext.h
@@ -62,7 +62,7 @@ extern int BSIM4acLoad(GENmodel *,CKTcircuit*);
 extern int BSIM4ask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int BSIM4convTest(GENmodel *,CKTcircuit*);
 extern int BSIM4delete(GENinstance*);
-extern void BSIM4destroy(GENmodel**);
+extern void BSIM4destroy(void);
 extern int BSIM4getic(GENmodel*,CKTcircuit*);
 extern int BSIM4load(GENmodel*,CKTcircuit*);
 extern int BSIM4mAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/bsim4v5/b4v5dest.c b/src/spicelib/devices/bsim4v5/b4v5dest.c
index 588383399..7bfa2b5fd 100644
--- a/src/spicelib/devices/bsim4v5/b4v5dest.c
+++ b/src/spicelib/devices/bsim4v5/b4v5dest.c
@@ -14,22 +14,6 @@
 
 
 void
-BSIM4v5destroy(GENmodel **inModel)
+BSIM4v5destroy(void)
 {
-    BSIM4v5model *mod = *(BSIM4v5model**) inModel;
-
-    while (mod) {
-        BSIM4v5model *next_mod = mod->BSIM4v5nextModel;
-        BSIM4v5instance *inst = mod->BSIM4v5instances;
-        while (inst) {
-            BSIM4v5instance *next_inst = inst->BSIM4v5nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/bsim4v5/bsim4v5ext.h b/src/spicelib/devices/bsim4v5/bsim4v5ext.h
index d9f826f34..3e043b9bc 100644
--- a/src/spicelib/devices/bsim4v5/bsim4v5ext.h
+++ b/src/spicelib/devices/bsim4v5/bsim4v5ext.h
@@ -9,7 +9,7 @@ extern int BSIM4v5acLoad(GENmodel *,CKTcircuit*);
 extern int BSIM4v5ask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int BSIM4v5convTest(GENmodel *,CKTcircuit*);
 extern int BSIM4v5delete(GENinstance*);
-extern void BSIM4v5destroy(GENmodel**);
+extern void BSIM4v5destroy(void);
 extern int BSIM4v5getic(GENmodel*,CKTcircuit*);
 extern int BSIM4v5load(GENmodel*,CKTcircuit*);
 extern int BSIM4v5mAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/bsim4v6/b4v6dest.c b/src/spicelib/devices/bsim4v6/b4v6dest.c
index 854872b0f..422d2b25f 100644
--- a/src/spicelib/devices/bsim4v6/b4v6dest.c
+++ b/src/spicelib/devices/bsim4v6/b4v6dest.c
@@ -16,22 +16,6 @@
 
 
 void
-BSIM4v6destroy(GENmodel **inModel)
+BSIM4v6destroy(void)
 {
-    BSIM4v6model *mod = *(BSIM4v6model**) inModel;
-
-    while (mod) {
-        BSIM4v6model *next_mod = mod->BSIM4v6nextModel;
-        BSIM4v6instance *inst = mod->BSIM4v6instances;
-        while (inst) {
-            BSIM4v6instance *next_inst = inst->BSIM4v6nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/bsim4v6/bsim4v6ext.h b/src/spicelib/devices/bsim4v6/bsim4v6ext.h
index 336d1c7aa..814262b33 100644
--- a/src/spicelib/devices/bsim4v6/bsim4v6ext.h
+++ b/src/spicelib/devices/bsim4v6/bsim4v6ext.h
@@ -9,7 +9,7 @@ extern int BSIM4v6acLoad(GENmodel *,CKTcircuit*);
 extern int BSIM4v6ask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int BSIM4v6convTest(GENmodel *,CKTcircuit*);
 extern int BSIM4v6delete(GENinstance*);
-extern void BSIM4v6destroy(GENmodel**);
+extern void BSIM4v6destroy(void);
 extern int BSIM4v6getic(GENmodel*,CKTcircuit*);
 extern int BSIM4v6load(GENmodel*,CKTcircuit*);
 extern int BSIM4v6mAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/bsim4v7/b4v7dest.c b/src/spicelib/devices/bsim4v7/b4v7dest.c
index 939309d5e..80e02685b 100644
--- a/src/spicelib/devices/bsim4v7/b4v7dest.c
+++ b/src/spicelib/devices/bsim4v7/b4v7dest.c
@@ -16,22 +16,6 @@
 
 
 void
-BSIM4v7destroy(GENmodel **inModel)
+BSIM4v7destroy(void)
 {
-    BSIM4v7model *mod = *(BSIM4v7model**) inModel;
-
-    while (mod) {
-        BSIM4v7model *next_mod = mod->BSIM4v7nextModel;
-        BSIM4v7instance *inst = mod->BSIM4v7instances;
-        while (inst) {
-            BSIM4v7instance *next_inst = inst->BSIM4v7nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/bsim4v7/bsim4v7ext.h b/src/spicelib/devices/bsim4v7/bsim4v7ext.h
index 9304b0cbb..c92df8694 100644
--- a/src/spicelib/devices/bsim4v7/bsim4v7ext.h
+++ b/src/spicelib/devices/bsim4v7/bsim4v7ext.h
@@ -9,7 +9,7 @@ extern int BSIM4v7acLoad(GENmodel *,CKTcircuit*);
 extern int BSIM4v7ask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int BSIM4v7convTest(GENmodel *,CKTcircuit*);
 extern int BSIM4v7delete(GENinstance*);
-extern void BSIM4v7destroy(GENmodel**);
+extern void BSIM4v7destroy(void);
 extern int BSIM4v7getic(GENmodel*,CKTcircuit*);
 extern int BSIM4v7load(GENmodel*,CKTcircuit*);
 extern int BSIM4v7mAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/bsimsoi/b4soidest.c b/src/spicelib/devices/bsimsoi/b4soidest.c
index e9fda113d..afa8a63b4 100644
--- a/src/spicelib/devices/bsimsoi/b4soidest.c
+++ b/src/spicelib/devices/bsimsoi/b4soidest.c
@@ -20,22 +20,6 @@
 
 
 void
-B4SOIdestroy(GENmodel **inModel)
+B4SOIdestroy(void)
 {
-    B4SOImodel *mod = *(B4SOImodel**) inModel;
-
-    while (mod) {
-        B4SOImodel *next_mod = mod->B4SOInextModel;
-        B4SOIinstance *inst = mod->B4SOIinstances;
-        while (inst) {
-            B4SOIinstance *next_inst = inst->B4SOInextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/bsimsoi/b4soiext.h b/src/spicelib/devices/bsimsoi/b4soiext.h
index 8f8c00f01..014baab32 100644
--- a/src/spicelib/devices/bsimsoi/b4soiext.h
+++ b/src/spicelib/devices/bsimsoi/b4soiext.h
@@ -11,7 +11,7 @@ extern int B4SOIacLoad(GENmodel *,CKTcircuit*);
 extern int B4SOIask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int B4SOIconvTest(GENmodel *,CKTcircuit*);
 extern int B4SOIdelete(GENinstance*);
-extern void B4SOIdestroy(GENmodel**);
+extern void B4SOIdestroy(void);
 extern int B4SOIgetic(GENmodel*,CKTcircuit*);
 extern int B4SOIload(GENmodel*,CKTcircuit*);
 extern int B4SOImAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/cap/capdest.c b/src/spicelib/devices/cap/capdest.c
index b02f0625f..36d28510f 100644
--- a/src/spicelib/devices/cap/capdest.c
+++ b/src/spicelib/devices/cap/capdest.c
@@ -10,21 +10,6 @@ Modified: September 2003 Paolo Nenzi
 
 
 void
-CAPdestroy(GENmodel **inModel)
+CAPdestroy(void)
 {
-    CAPmodel *mod = *(CAPmodel**) inModel;
-
-    while (mod) {
-        CAPmodel *next_mod = mod->CAPnextModel;
-        CAPinstance *inst = mod->CAPinstances;
-        while (inst) {
-            CAPinstance *next_inst = inst->CAPnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/cap/capext.h b/src/spicelib/devices/cap/capext.h
index 6e1a6fd61..c4e55d0b1 100644
--- a/src/spicelib/devices/cap/capext.h
+++ b/src/spicelib/devices/cap/capext.h
@@ -6,7 +6,7 @@ Author: 1985 Thomas L. Quarles
 extern int CAPacLoad(GENmodel*,CKTcircuit*);
 extern int CAPask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int CAPdelete(GENinstance*);
-extern void CAPdestroy(GENmodel**);
+extern void CAPdestroy(void);
 extern int CAPgetic(GENmodel*,CKTcircuit*);
 extern int CAPload(GENmodel*,CKTcircuit*);
 extern int CAPmAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
diff --git a/src/spicelib/devices/cccs/cccsdest.c b/src/spicelib/devices/cccs/cccsdest.c
index 5a88881f4..f43af0291 100644
--- a/src/spicelib/devices/cccs/cccsdest.c
+++ b/src/spicelib/devices/cccs/cccsdest.c
@@ -9,21 +9,6 @@ Author: 1985 Thomas L. Quarles
 
 
 void
-CCCSdestroy(GENmodel **inModel)
+CCCSdestroy(void)
 {
-    CCCSmodel *mod = *(CCCSmodel**) inModel;
-
-    while (mod) {
-        CCCSmodel *next_mod = mod->CCCSnextModel;
-        CCCSinstance *inst = mod->CCCSinstances;
-        while (inst) {
-            CCCSinstance *next_inst = inst->CCCSnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/cccs/cccsext.h b/src/spicelib/devices/cccs/cccsext.h
index d855bbf53..e04166d76 100644
--- a/src/spicelib/devices/cccs/cccsext.h
+++ b/src/spicelib/devices/cccs/cccsext.h
@@ -6,7 +6,7 @@ Author: 1985 Thomas L. Quarles
 
 extern int CCCSask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int CCCSdelete(GENinstance*);
-extern void CCCSdestroy(GENmodel**);
+extern void CCCSdestroy(void);
 extern int CCCSload(GENmodel*,CKTcircuit*);
 extern int CCCSmDelete(GENmodel*);
 extern int CCCSparam(int,IFvalue*,GENinstance*,IFvalue*);
diff --git a/src/spicelib/devices/ccvs/ccvsdest.c b/src/spicelib/devices/ccvs/ccvsdest.c
index 479b8455a..e8fa2e8af 100644
--- a/src/spicelib/devices/ccvs/ccvsdest.c
+++ b/src/spicelib/devices/ccvs/ccvsdest.c
@@ -9,21 +9,6 @@ Author: 1985 Thomas L. Quarles
 
 
 void
-CCVSdestroy(GENmodel **inModel)
+CCVSdestroy(void)
 {
-    CCVSmodel *mod = *(CCVSmodel**) inModel;
-
-    while (mod) {
-        CCVSmodel *next_mod = mod->CCVSnextModel;
-        CCVSinstance *inst = mod->CCVSinstances;
-        while (inst) {
-            CCVSinstance *next_inst = inst->CCVSnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/ccvs/ccvsext.h b/src/spicelib/devices/ccvs/ccvsext.h
index 29f7a7740..7dd27e30a 100644
--- a/src/spicelib/devices/ccvs/ccvsext.h
+++ b/src/spicelib/devices/ccvs/ccvsext.h
@@ -5,7 +5,7 @@ Author: 1985 Thomas L. Quarles
 
 extern int CCVSask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int CCVSdelete(GENinstance*);
-extern void CCVSdestroy(GENmodel**);
+extern void CCVSdestroy(void);
 extern int CCVSfindBr(CKTcircuit*,GENmodel*,IFuid);
 extern int CCVSload(GENmodel*,CKTcircuit*);
 extern int CCVSmDelete(GENmodel*);
diff --git a/src/spicelib/devices/cpl/cpldest.c b/src/spicelib/devices/cpl/cpldest.c
index 439e63068..7200aee79 100644
--- a/src/spicelib/devices/cpl/cpldest.c
+++ b/src/spicelib/devices/cpl/cpldest.c
@@ -10,21 +10,6 @@ Author: 1992 Charles Hough
 
 
 void
-CPLdestroy(GENmodel **inModel)
+CPLdestroy(void)
 {
-    CPLmodel *mod = *(CPLmodel **) inModel;
-
-    while (mod) {
-        CPLmodel *next_mod = mod->CPLnextModel;
-        CPLinstance *inst = mod->CPLinstances;
-        while (inst) {
-            CPLinstance *next_inst = inst->CPLnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/cpl/cplext.h b/src/spicelib/devices/cpl/cplext.h
index 048bea92c..e9575edc1 100644
--- a/src/spicelib/devices/cpl/cplext.h
+++ b/src/spicelib/devices/cpl/cplext.h
@@ -6,7 +6,7 @@ reserved.
 /* extern int CPLaccept(CKTcircuit*, GENmodel*); */
 extern int CPLask(CKTcircuit*, GENinstance*, int, IFvalue*, IFvalue*);
 extern int CPLdelete(GENinstance*);
-extern void CPLdestroy(GENmodel**);
+extern void CPLdestroy(void);
 extern int CPLload(GENmodel*, CKTcircuit*);
 extern int CPLmAsk(CKTcircuit*, GENmodel*, int, IFvalue*);
 extern int CPLmDelete(GENmodel*);
diff --git a/src/spicelib/devices/csw/cswdest.c b/src/spicelib/devices/csw/cswdest.c
index 60e08c486..a64f831e3 100644
--- a/src/spicelib/devices/csw/cswdest.c
+++ b/src/spicelib/devices/csw/cswdest.c
@@ -9,21 +9,6 @@ Author: 1985 Gordon Jacobs
 
 
 void
-CSWdestroy(GENmodel **inModel)
+CSWdestroy(void)
 {
-    CSWmodel *mod = *(CSWmodel**) inModel;
-
-    while (mod) {
-        CSWmodel *next_mod = mod->CSWnextModel;
-        CSWinstance *inst = mod->CSWinstances;
-        while (inst) {
-            CSWinstance *next_inst = inst->CSWnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/csw/cswext.h b/src/spicelib/devices/csw/cswext.h
index 42cce69ee..22d74de49 100644
--- a/src/spicelib/devices/csw/cswext.h
+++ b/src/spicelib/devices/csw/cswext.h
@@ -7,7 +7,7 @@ Modified: 2000 AlansFixes
 extern int CSWask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int CSWacLoad(GENmodel*,CKTcircuit*);
 extern int CSWdelete(GENinstance*);
-extern void CSWdestroy(GENmodel**);
+extern void CSWdestroy(void);
 extern int CSWload(GENmodel*,CKTcircuit*);
 extern int CSWmAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
 extern int CSWmDelete(GENmodel*);
diff --git a/src/spicelib/devices/dio/diodest.c b/src/spicelib/devices/dio/diodest.c
index ef8b09508..169d5332e 100644
--- a/src/spicelib/devices/dio/diodest.c
+++ b/src/spicelib/devices/dio/diodest.c
@@ -9,21 +9,6 @@ Author: 1985 Thomas L. Quarles
 
 
 void
-DIOdestroy(GENmodel **inModel)
+DIOdestroy(void)
 {
-    DIOmodel *mod = *(DIOmodel**) inModel;
-
-    while (mod) {
-        DIOmodel *next_mod = mod->DIOnextModel;
-        DIOinstance *inst = mod->DIOinstances;
-        while (inst) {
-            DIOinstance *next_inst = inst->DIOnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/dio/dioext.h b/src/spicelib/devices/dio/dioext.h
index 0f1a91852..94a493da4 100644
--- a/src/spicelib/devices/dio/dioext.h
+++ b/src/spicelib/devices/dio/dioext.h
@@ -8,7 +8,7 @@ extern int DIOacLoad(GENmodel*,CKTcircuit*);
 extern int DIOask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int DIOconvTest(GENmodel *,CKTcircuit*);
 extern int DIOdelete(GENinstance*);
-extern void DIOdestroy(GENmodel**);
+extern void DIOdestroy(void);
 extern int DIOgetic(GENmodel*,CKTcircuit*);
 extern int DIOload(GENmodel*,CKTcircuit*);
 extern int DIOmAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
diff --git a/src/spicelib/devices/hfet1/hfetdest.c b/src/spicelib/devices/hfet1/hfetdest.c
index 4c06f9fdf..7cade9aa3 100644
--- a/src/spicelib/devices/hfet1/hfetdest.c
+++ b/src/spicelib/devices/hfet1/hfetdest.c
@@ -9,21 +9,6 @@ Modified: Paolo Nenzi
 
 
 void
-HFETAdestroy(GENmodel **inModel)
+HFETAdestroy(void)
 {
-    HFETAmodel *mod = *(HFETAmodel**) inModel;
-
-    while (mod) {
-        HFETAmodel *next_mod = mod->HFETAnextModel;
-        HFETAinstance *inst = mod->HFETAinstances;
-        while (inst) {
-            HFETAinstance *next_inst = inst->HFETAnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/hfet1/hfetext.h b/src/spicelib/devices/hfet1/hfetext.h
index dc8bea209..ee499df29 100644
--- a/src/spicelib/devices/hfet1/hfetext.h
+++ b/src/spicelib/devices/hfet1/hfetext.h
@@ -6,7 +6,7 @@ Modified: Paolo Nenzi
 extern int HFETAacLoad(GENmodel*,CKTcircuit*);
 extern int HFETAask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int HFETAdelete(GENinstance*);
-extern void HFETAdestroy(GENmodel**);
+extern void HFETAdestroy(void);
 extern int HFETAgetic(GENmodel*,CKTcircuit*);
 extern int HFETAload(GENmodel*,CKTcircuit*);
 extern int HFETAmAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
diff --git a/src/spicelib/devices/hfet2/hfet2dest.c b/src/spicelib/devices/hfet2/hfet2dest.c
index 1ab7acd0f..106865818 100644
--- a/src/spicelib/devices/hfet2/hfet2dest.c
+++ b/src/spicelib/devices/hfet2/hfet2dest.c
@@ -9,21 +9,6 @@ Modified: Paolo Nenzi
 
 
 void
-HFET2destroy(GENmodel **inModel)
+HFET2destroy(void)
 {
-    HFET2model *mod = *(HFET2model**) inModel;
-
-    while (mod) {
-        HFET2model *next_mod = mod->HFET2nextModel;
-        HFET2instance *inst = mod->HFET2instances;
-        while (inst) {
-            HFET2instance *next_inst = inst->HFET2nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/hfet2/hfet2ext.h b/src/spicelib/devices/hfet2/hfet2ext.h
index f009d3b9c..760e03256 100644
--- a/src/spicelib/devices/hfet2/hfet2ext.h
+++ b/src/spicelib/devices/hfet2/hfet2ext.h
@@ -6,7 +6,7 @@ Author: Trond Ytterdal
 extern int  HFET2acLoad(GENmodel*,CKTcircuit*);
 extern int  HFET2ask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int  HFET2delete(GENinstance*);
-extern void HFET2destroy(GENmodel**);
+extern void HFET2destroy(void);
 extern int  HFET2getic(GENmodel*,CKTcircuit*);
 extern int  HFET2load(GENmodel*,CKTcircuit*);
 extern int  HFET2mAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
diff --git a/src/spicelib/devices/hisim2/hsm2dest.c b/src/spicelib/devices/hisim2/hsm2dest.c
index 84b150e46..b74cae252 100644
--- a/src/spicelib/devices/hisim2/hsm2dest.c
+++ b/src/spicelib/devices/hisim2/hsm2dest.c
@@ -60,22 +60,6 @@ to others."
 
 
 void
-HSM2destroy(GENmodel **inModel)
+HSM2destroy(void)
 {
-    HSM2model *mod = *(HSM2model**) inModel;
-
-    while (mod) {
-        HSM2model *next_mod = mod->HSM2nextModel;
-        HSM2instance *inst = mod->HSM2instances;
-        while (inst) {
-            HSM2instance *next_inst = inst->HSM2nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/hisim2/hsm2ext.h b/src/spicelib/devices/hisim2/hsm2ext.h
index c6e48517b..8a84cddd8 100644
--- a/src/spicelib/devices/hisim2/hsm2ext.h
+++ b/src/spicelib/devices/hisim2/hsm2ext.h
@@ -19,7 +19,7 @@ extern int HSM2acLoad(GENmodel *,CKTcircuit*);
 extern int HSM2ask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int HSM2convTest(GENmodel *,CKTcircuit*);
 extern int HSM2delete(GENinstance*);
-extern void HSM2destroy(GENmodel**);
+extern void HSM2destroy(void);
 extern int HSM2getic(GENmodel*,CKTcircuit*);
 extern int HSM2load(GENmodel*,CKTcircuit*);
 extern int HSM2mAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/hisimhv1/hsmhvdest.c b/src/spicelib/devices/hisimhv1/hsmhvdest.c
index 5e878018e..ed75a539d 100644
--- a/src/spicelib/devices/hisimhv1/hsmhvdest.c
+++ b/src/spicelib/devices/hisimhv1/hsmhvdest.c
@@ -21,21 +21,6 @@
 
 
 void
-HSMHVdestroy(GENmodel **inModel)
+HSMHVdestroy(void)
 {
-    HSMHVmodel *mod = *(HSMHVmodel**) inModel;
-
-    while (mod) {
-        HSMHVmodel *next_mod = mod->HSMHVnextModel;
-        HSMHVinstance *inst = mod->HSMHVinstances;
-        while (inst) {
-            HSMHVinstance *next_inst = inst->HSMHVnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/hisimhv1/hsmhvext.h b/src/spicelib/devices/hisimhv1/hsmhvext.h
index 1677aa4e2..780c7a3cf 100644
--- a/src/spicelib/devices/hisimhv1/hsmhvext.h
+++ b/src/spicelib/devices/hisimhv1/hsmhvext.h
@@ -19,7 +19,7 @@ extern int HSMHVacLoad(GENmodel *,CKTcircuit*);
 extern int HSMHVask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int HSMHVconvTest(GENmodel *,CKTcircuit*);
 extern int HSMHVdelete(GENinstance*);
-extern void HSMHVdestroy(GENmodel**);
+extern void HSMHVdestroy(void);
 extern int HSMHVgetic(GENmodel*,CKTcircuit*);
 extern int HSMHVload(GENmodel*,CKTcircuit*);
 extern int HSMHVmAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/hisimhv2/hsmhv2dest.c b/src/spicelib/devices/hisimhv2/hsmhv2dest.c
index 9a46c7db2..f18b95701 100644
--- a/src/spicelib/devices/hisimhv2/hsmhv2dest.c
+++ b/src/spicelib/devices/hisimhv2/hsmhv2dest.c
@@ -63,21 +63,6 @@ June 2008 (revised October 2011)
 
 
 void
-HSMHV2destroy(GENmodel **inModel)
+HSMHV2destroy(void)
 {
-    HSMHV2model *mod = *(HSMHV2model**) inModel;
-
-    while (mod) {
-        HSMHV2model *next_mod = mod->HSMHV2nextModel;
-        HSMHV2instance *inst = mod->HSMHV2instances;
-        while (inst) {
-            HSMHV2instance *next_inst = inst->HSMHV2nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/hisimhv2/hsmhv2ext.h b/src/spicelib/devices/hisimhv2/hsmhv2ext.h
index 7e4a64a99..28e2f9d66 100644
--- a/src/spicelib/devices/hisimhv2/hsmhv2ext.h
+++ b/src/spicelib/devices/hisimhv2/hsmhv2ext.h
@@ -19,7 +19,7 @@ extern int HSMHV2acLoad(GENmodel *,CKTcircuit*);
 extern int HSMHV2ask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int HSMHV2convTest(GENmodel *,CKTcircuit*);
 extern int HSMHV2delete(GENinstance*);
-extern void HSMHV2destroy(GENmodel**);
+extern void HSMHV2destroy(void);
 extern int HSMHV2getic(GENmodel*,CKTcircuit*);
 extern int HSMHV2load(GENmodel*,CKTcircuit*);
 extern int HSMHV2mAsk(CKTcircuit*,GENmodel *,int, IFvalue*);
diff --git a/src/spicelib/devices/ind/inddest.c b/src/spicelib/devices/ind/inddest.c
index b1e286a43..83d4a35dd 100644
--- a/src/spicelib/devices/ind/inddest.c
+++ b/src/spicelib/devices/ind/inddest.c
@@ -9,21 +9,6 @@ Author: 1985 Thomas L. Quarles
 
 
 void
-INDdestroy(GENmodel **inModel)
+INDdestroy(void)
 {
-    INDmodel *mod = *(INDmodel**) inModel;
-
-    while (mod) {
-        INDmodel *next_mod = mod->INDnextModel;
-        INDinstance *inst = mod->INDinstances;
-        while (inst) {
-            INDinstance *next_inst = inst->INDnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/ind/indext.h b/src/spicelib/devices/ind/indext.h
index 959798af5..3fd334818 100644
--- a/src/spicelib/devices/ind/indext.h
+++ b/src/spicelib/devices/ind/indext.h
@@ -9,7 +9,7 @@ extern int INDacLoad(GENmodel*,CKTcircuit*);
 extern int INDask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int INDmAsk(CKTcircuit*, GENmodel*, int, IFvalue*);
 extern int INDdelete(GENinstance*);
-extern void INDdestroy(GENmodel**);
+extern void INDdestroy(void);
 extern int INDload(GENmodel*,CKTcircuit*);
 extern int INDmDelete(GENmodel*);
 extern int INDmParam(int, IFvalue*, GENmodel*);
@@ -28,7 +28,7 @@ extern int INDtrunc(GENmodel*,CKTcircuit*,double*);
 extern int MUTacLoad(GENmodel*,CKTcircuit*);
 extern int MUTask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int MUTdelete(GENinstance*);
-extern void MUTdestroy(GENmodel**);
+extern void MUTdestroy(void);
 extern int MUTmDelete(GENmodel*);
 extern int MUTparam(int,IFvalue*,GENinstance*,IFvalue*);
 extern int MUTpzLoad(GENmodel*,CKTcircuit*,SPcomplex*);
diff --git a/src/spicelib/devices/ind/mutdest.c b/src/spicelib/devices/ind/mutdest.c
index 9c556e6bc..87b511639 100644
--- a/src/spicelib/devices/ind/mutdest.c
+++ b/src/spicelib/devices/ind/mutdest.c
@@ -11,23 +11,8 @@ Author: 1985 Thomas L. Quarles
 #ifdef MUTUAL
 
 void
-MUTdestroy(GENmodel **inModel)
+MUTdestroy(void)
 {
-    MUTmodel *mod = *(MUTmodel**) inModel;
-
-    while (mod) {
-        MUTmodel *next_mod = mod->MUTnextModel;
-        MUTinstance *inst = mod->MUTinstances;
-        while (inst) {
-            MUTinstance *next_inst = inst->MUTnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
 
 #endif
diff --git a/src/spicelib/devices/isrc/isrcdest.c b/src/spicelib/devices/isrc/isrcdest.c
index 91932bf93..80b777641 100644
--- a/src/spicelib/devices/isrc/isrcdest.c
+++ b/src/spicelib/devices/isrc/isrcdest.c
@@ -9,21 +9,6 @@ Author: 1985 Thomas L. Quarles
 
 
 void
-ISRCdestroy(GENmodel **inModel)
+ISRCdestroy(void)
 {
-    ISRCmodel *mod = *(ISRCmodel**) inModel;
-
-    while (mod) {
-        ISRCmodel *next_mod = mod->ISRCnextModel;
-        ISRCinstance *inst = mod->ISRCinstances;
-        while (inst) {
-            ISRCinstance *next_inst = inst->ISRCnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/isrc/isrcext.h b/src/spicelib/devices/isrc/isrcext.h
index a453f01e3..8146c6074 100644
--- a/src/spicelib/devices/isrc/isrcext.h
+++ b/src/spicelib/devices/isrc/isrcext.h
@@ -7,7 +7,7 @@ extern int ISRCaccept(CKTcircuit*,GENmodel*);
 extern int ISRCacLoad(GENmodel*,CKTcircuit*);
 extern int ISRCask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int ISRCdelete(GENinstance*);
-extern void ISRCdestroy(GENmodel**);
+extern void ISRCdestroy(void);
 extern int ISRCload(GENmodel*,CKTcircuit*);
 extern int ISRCmDelete(GENmodel*);
 extern int ISRCparam(int,IFvalue*,GENinstance*,IFvalue*);
diff --git a/src/spicelib/devices/jfet/jfetdest.c b/src/spicelib/devices/jfet/jfetdest.c
index 558dc1683..7cef1f77a 100644
--- a/src/spicelib/devices/jfet/jfetdest.c
+++ b/src/spicelib/devices/jfet/jfetdest.c
@@ -9,21 +9,6 @@ Author: 1985 Thomas L. Quarles
 
 
 void
-JFETdestroy(GENmodel **inModel)
+JFETdestroy(void)
 {
-    JFETmodel *mod = *(JFETmodel**) inModel;
-
-    while (mod) {
-        JFETmodel *next_mod = mod->JFETnextModel;
-        JFETinstance *inst = mod->JFETinstances;
-        while (inst) {
-            JFETinstance *next_inst = inst->JFETnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/jfet/jfetext.h b/src/spicelib/devices/jfet/jfetext.h
index 882a45f73..d90800e75 100644
--- a/src/spicelib/devices/jfet/jfetext.h
+++ b/src/spicelib/devices/jfet/jfetext.h
@@ -7,7 +7,7 @@ Modified: 2000 AlansFixes
 extern int JFETacLoad(GENmodel*,CKTcircuit*);
 extern int JFETask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int JFETdelete(GENinstance*);
-extern void JFETdestroy(GENmodel**);
+extern void JFETdestroy(void);
 extern int JFETgetic(GENmodel*,CKTcircuit*);
 extern int JFETload(GENmodel*,CKTcircuit*);
 extern int JFETmAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
diff --git a/src/spicelib/devices/jfet2/jfet2dest.c b/src/spicelib/devices/jfet2/jfet2dest.c
index 6d11d52d1..db9e122bd 100644
--- a/src/spicelib/devices/jfet2/jfet2dest.c
+++ b/src/spicelib/devices/jfet2/jfet2dest.c
@@ -13,21 +13,6 @@ Modified to jfet2 for PS model definition ( Anthony E. Parker )
 
 
 void
-JFET2destroy(GENmodel **inModel)
+JFET2destroy(void)
 {
-    JFET2model *mod = *(JFET2model**) inModel;
-
-    while (mod) {
-        JFET2model *next_mod = mod->JFET2nextModel;
-        JFET2instance *inst = mod->JFET2instances;
-        while (inst) {
-            JFET2instance *next_inst = inst->JFET2nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/jfet2/jfet2ext.h b/src/spicelib/devices/jfet2/jfet2ext.h
index d498027ce..de9d6b4e1 100644
--- a/src/spicelib/devices/jfet2/jfet2ext.h
+++ b/src/spicelib/devices/jfet2/jfet2ext.h
@@ -10,7 +10,7 @@ Modified to add PS model and new parameter definitions ( Anthony E. Parker )
 extern int JFET2acLoad(GENmodel*,CKTcircuit*);
 extern int JFET2ask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int JFET2delete(GENinstance*);
-extern void JFET2destroy(GENmodel**);
+extern void JFET2destroy(void);
 extern int JFET2getic(GENmodel*,CKTcircuit*);
 extern int JFET2load(GENmodel*,CKTcircuit*);
 extern int JFET2mAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
diff --git a/src/spicelib/devices/ltra/ltradest.c b/src/spicelib/devices/ltra/ltradest.c
index 71ff8fa43..af83f771f 100644
--- a/src/spicelib/devices/ltra/ltradest.c
+++ b/src/spicelib/devices/ltra/ltradest.c
@@ -9,21 +9,6 @@ Author: 1990 Jaijeet S. Roychowdhury
 
 
 void
-LTRAdestroy(GENmodel **inModel)
+LTRAdestroy(void)
 {
-    LTRAmodel *mod = *(LTRAmodel **) inModel;
-
-    while (mod) {
-        LTRAmodel *next_mod = mod->LTRAnextModel;
-        LTRAinstance *inst = mod->LTRAinstances;
-        while (inst) {
-            LTRAinstance *next_inst = inst->LTRAnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/ltra/ltraext.h b/src/spicelib/devices/ltra/ltraext.h
index fa1f3d972..b0b93c341 100644
--- a/src/spicelib/devices/ltra/ltraext.h
+++ b/src/spicelib/devices/ltra/ltraext.h
@@ -9,7 +9,7 @@ extern int LTRAaccept(CKTcircuit*,GENmodel*);
 extern int LTRAask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int LTRAacLoad(GENmodel*,CKTcircuit*);
 extern int LTRAdelete(GENinstance*);
-extern void LTRAdestroy(GENmodel**);
+extern void LTRAdestroy(void);
 extern int LTRAload(GENmodel*,CKTcircuit*);
 extern int LTRAmAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
 extern int LTRAmDelete(GENmodel*);
diff --git a/src/spicelib/devices/mes/mesdest.c b/src/spicelib/devices/mes/mesdest.c
index 0a557755f..5e99240a4 100644
--- a/src/spicelib/devices/mes/mesdest.c
+++ b/src/spicelib/devices/mes/mesdest.c
@@ -9,21 +9,6 @@ Author: 1985 S. Hwang
 
 
 void
-MESdestroy(GENmodel **inModel)
+MESdestroy(void)
 {
-    MESmodel *mod = *(MESmodel**) inModel;
-
-    while (mod) {
-        MESmodel *next_mod = mod->MESnextModel;
-        MESinstance *inst = mod->MESinstances;
-        while (inst) {
-            MESinstance *next_inst = inst->MESnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/mes/mesext.h b/src/spicelib/devices/mes/mesext.h
index aff6503b3..94e896484 100644
--- a/src/spicelib/devices/mes/mesext.h
+++ b/src/spicelib/devices/mes/mesext.h
@@ -7,7 +7,7 @@ Modified: 2000 AlansFixes
 extern int MESacLoad(GENmodel*,CKTcircuit*);
 extern int MESask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int MESdelete(GENinstance*);
-extern void MESdestroy(GENmodel**);
+extern void MESdestroy(void);
 extern int MESgetic(GENmodel*,CKTcircuit*);
 extern int MESload(GENmodel*,CKTcircuit*);
 extern int MESmAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
diff --git a/src/spicelib/devices/mesa/mesadest.c b/src/spicelib/devices/mesa/mesadest.c
index 26dae198f..e087790eb 100644
--- a/src/spicelib/devices/mesa/mesadest.c
+++ b/src/spicelib/devices/mesa/mesadest.c
@@ -9,21 +9,6 @@ Author: Trond Ytterdal
 
 
 void
-MESAdestroy(GENmodel **inModel)
+MESAdestroy(void)
 {
-    MESAmodel *mod = *(MESAmodel**) inModel;
-
-    while (mod) {
-        MESAmodel *next_mod = mod->MESAnextModel;
-        MESAinstance *inst = mod->MESAinstances;
-        while (inst) {
-            MESAinstance *next_inst = inst->MESAnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/mesa/mesaext.h b/src/spicelib/devices/mesa/mesaext.h
index 673344efc..2b322d611 100644
--- a/src/spicelib/devices/mesa/mesaext.h
+++ b/src/spicelib/devices/mesa/mesaext.h
@@ -6,7 +6,7 @@ Author: Trond Ytterdal
 extern int MESAacLoad(GENmodel*,CKTcircuit*);
 extern int MESAask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int MESAdelete(GENinstance*);
-extern void MESAdestroy(GENmodel**);
+extern void MESAdestroy(void);
 extern int MESAgetic(GENmodel*,CKTcircuit*);
 extern int MESAload(GENmodel*,CKTcircuit*);
 extern int MESAmAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
diff --git a/src/spicelib/devices/mos1/mos1dest.c b/src/spicelib/devices/mos1/mos1dest.c
index 238a45450..d7993452b 100644
--- a/src/spicelib/devices/mos1/mos1dest.c
+++ b/src/spicelib/devices/mos1/mos1dest.c
@@ -9,21 +9,6 @@ Author: 1985 Thomas L. Quarles
 
 
 void
-MOS1destroy(GENmodel **inModel)
+MOS1destroy(void)
 {
-    MOS1model *mod = *(MOS1model**) inModel;
-
-    while (mod) {
-        MOS1model *next_mod = mod->MOS1nextModel;
-        MOS1instance *inst = mod->MOS1instances;
-        while (inst) {
-            MOS1instance *next_inst = inst->MOS1nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/mos1/mos1ext.h b/src/spicelib/devices/mos1/mos1ext.h
index 1ebd0bdfb..a81756679 100644
--- a/src/spicelib/devices/mos1/mos1ext.h
+++ b/src/spicelib/devices/mos1/mos1ext.h
@@ -7,7 +7,7 @@ Modified: 2000 AlansFixes
 extern int MOS1acLoad(GENmodel *,CKTcircuit*);
 extern int MOS1ask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int MOS1delete(GENinstance*);
-extern void MOS1destroy(GENmodel**);
+extern void MOS1destroy(void);
 extern int MOS1getic(GENmodel*,CKTcircuit*);
 extern int MOS1load(GENmodel*,CKTcircuit*);
 extern int MOS1mAsk(CKTcircuit *,GENmodel *,int,IFvalue*);
diff --git a/src/spicelib/devices/mos2/mos2dest.c b/src/spicelib/devices/mos2/mos2dest.c
index 0a61bf223..53450734e 100644
--- a/src/spicelib/devices/mos2/mos2dest.c
+++ b/src/spicelib/devices/mos2/mos2dest.c
@@ -9,21 +9,6 @@ Author: 1985 Thomas L. Quarles
 
 
 void
-MOS2destroy(GENmodel **inModel)
+MOS2destroy(void)
 {
-    MOS2model *mod = *(MOS2model **) inModel;
-
-    while (mod) {
-        MOS2model *next_mod = mod->MOS2nextModel;
-        MOS2instance *inst = mod->MOS2instances;
-        while (inst) {
-            MOS2instance *next_inst = inst->MOS2nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/mos2/mos2ext.h b/src/spicelib/devices/mos2/mos2ext.h
index c725494e8..28e46973e 100644
--- a/src/spicelib/devices/mos2/mos2ext.h
+++ b/src/spicelib/devices/mos2/mos2ext.h
@@ -9,7 +9,7 @@ extern int MOS2ask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int MOS2mAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
 extern int MOS2convTest(GENmodel*,CKTcircuit*);
 extern int MOS2delete(GENinstance*);
-extern void MOS2destroy(GENmodel**);
+extern void MOS2destroy(void);
 extern int MOS2getic(GENmodel*,CKTcircuit*);
 extern int MOS2load(GENmodel*,CKTcircuit*);
 extern int MOS2mDelete(GENmodel*);
diff --git a/src/spicelib/devices/mos3/mos3dest.c b/src/spicelib/devices/mos3/mos3dest.c
index 0a9edda64..b5f162e10 100644
--- a/src/spicelib/devices/mos3/mos3dest.c
+++ b/src/spicelib/devices/mos3/mos3dest.c
@@ -9,21 +9,6 @@ Author: 1985 Thomas L. Quarles
 
 
 void
-MOS3destroy(GENmodel **inModel)
+MOS3destroy(void)
 {
-    MOS3model *mod = *(MOS3model **) inModel;
-
-    while (mod) {
-        MOS3model *next_mod = mod->MOS3nextModel;
-        MOS3instance *inst = mod->MOS3instances;
-        while (inst) {
-            MOS3instance *next_inst = inst->MOS3nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/mos3/mos3ext.h b/src/spicelib/devices/mos3/mos3ext.h
index 88e3f53be..12e587f76 100644
--- a/src/spicelib/devices/mos3/mos3ext.h
+++ b/src/spicelib/devices/mos3/mos3ext.h
@@ -8,7 +8,7 @@ extern int MOS3acLoad(GENmodel*,CKTcircuit*);
 extern int MOS3ask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int MOS3convTest(GENmodel *,CKTcircuit *);
 extern int MOS3delete(GENinstance*);
-extern void MOS3destroy(GENmodel**);
+extern void MOS3destroy(void);
 extern int MOS3getic(GENmodel*,CKTcircuit*);
 extern int MOS3load(GENmodel*,CKTcircuit*);
 extern int MOS3mAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
diff --git a/src/spicelib/devices/mos6/mos6dest.c b/src/spicelib/devices/mos6/mos6dest.c
index a3ff85867..23f48d53c 100644
--- a/src/spicelib/devices/mos6/mos6dest.c
+++ b/src/spicelib/devices/mos6/mos6dest.c
@@ -9,21 +9,6 @@ Author: 1989 Takayasu Sakurai
 
 
 void
-MOS6destroy(GENmodel **inModel)
+MOS6destroy(void)
 {
-    MOS6model *mod = *(MOS6model**) inModel;
-
-    while (mod) {
-        MOS6model *next_mod = mod->MOS6nextModel;
-        MOS6instance *inst = mod->MOS6instances;
-        while (inst) {
-            MOS6instance *next_inst = inst->MOS6nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/mos6/mos6ext.h b/src/spicelib/devices/mos6/mos6ext.h
index c3ae2baac..8bacf5ed0 100644
--- a/src/spicelib/devices/mos6/mos6ext.h
+++ b/src/spicelib/devices/mos6/mos6ext.h
@@ -6,7 +6,7 @@ Author: 1985 Thomas L. Quarles
 extern int MOS6acLoad(GENmodel *,CKTcircuit*);
 extern int MOS6ask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int MOS6delete(GENinstance*);
-extern void MOS6destroy(GENmodel**);
+extern void MOS6destroy(void);
 extern int MOS6getic(GENmodel*,CKTcircuit*);
 extern int MOS6load(GENmodel*,CKTcircuit*);
 extern int MOS6mAsk(CKTcircuit *,GENmodel *,int,IFvalue*);
diff --git a/src/spicelib/devices/mos9/mos9dest.c b/src/spicelib/devices/mos9/mos9dest.c
index 14839ac68..961f52c46 100644
--- a/src/spicelib/devices/mos9/mos9dest.c
+++ b/src/spicelib/devices/mos9/mos9dest.c
@@ -10,21 +10,6 @@ Modified: Alan Gillespie
 
 
 void
-MOS9destroy(GENmodel **inModel)
+MOS9destroy(void)
 {
-    MOS9model *mod = *(MOS9model **) inModel;
-
-    while (mod) {
-        MOS9model *next_mod = mod->MOS9nextModel;
-        MOS9instance *inst = mod->MOS9instances;
-        while (inst) {
-            MOS9instance *next_inst = inst->MOS9nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/mos9/mos9ext.h b/src/spicelib/devices/mos9/mos9ext.h
index 0c153ad57..985be5ed8 100644
--- a/src/spicelib/devices/mos9/mos9ext.h
+++ b/src/spicelib/devices/mos9/mos9ext.h
@@ -8,7 +8,7 @@ extern int MOS9acLoad(GENmodel*,CKTcircuit*);
 extern int MOS9ask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int MOS9convTest(GENmodel *,CKTcircuit *);
 extern int MOS9delete(GENinstance*);
-extern void MOS9destroy(GENmodel**);
+extern void MOS9destroy(void);
 extern int MOS9getic(GENmodel*,CKTcircuit*);
 extern int MOS9load(GENmodel*,CKTcircuit*);
 extern int MOS9mAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
diff --git a/src/spicelib/devices/nbjt/nbjtdest.c b/src/spicelib/devices/nbjt/nbjtdest.c
index 634562847..7c0aad559 100644
--- a/src/spicelib/devices/nbjt/nbjtdest.c
+++ b/src/spicelib/devices/nbjt/nbjtdest.c
@@ -14,21 +14,6 @@ Author: 1987 Kartikeya Mayaram, U. C. Berkeley CAD Group
 
 
 void
-NBJTdestroy(GENmodel **inModel)
+NBJTdestroy(void)
 {
-    NBJTmodel *mod = *(NBJTmodel **) inModel;
-
-    while (mod) {
-        NBJTmodel *next_mod = mod->NBJTnextModel;
-        NBJTinstance *inst = mod->NBJTinstances;
-        while (inst) {
-            NBJTinstance *next_inst = inst->NBJTnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/nbjt/nbjtext.h b/src/spicelib/devices/nbjt/nbjtext.h
index c6b015102..d2dbf1923 100644
--- a/src/spicelib/devices/nbjt/nbjtext.h
+++ b/src/spicelib/devices/nbjt/nbjtext.h
@@ -9,7 +9,7 @@ Author: 1987 Karti Mayaram
 extern int NBJTacLoad(GENmodel *, CKTcircuit *);
 extern int NBJTask(CKTcircuit *, GENinstance *, int, IFvalue *, IFvalue *);
 extern int NBJTdelete(GENinstance *);
-extern void NBJTdestroy(GENmodel **);
+extern void NBJTdestroy(void);
 extern int NBJTgetic(GENmodel *, CKTcircuit *);
 extern int NBJTload(GENmodel *, CKTcircuit *);
 extern int NBJTmDelete(GENmodel *);
diff --git a/src/spicelib/devices/nbjt2/nbjt2ext.h b/src/spicelib/devices/nbjt2/nbjt2ext.h
index cb2fe071b..f7d14d450 100644
--- a/src/spicelib/devices/nbjt2/nbjt2ext.h
+++ b/src/spicelib/devices/nbjt2/nbjt2ext.h
@@ -10,7 +10,7 @@ Author: 1987 Karti Mayaram
 extern int NBJT2acLoad(GENmodel *, CKTcircuit *);
 extern int NBJT2ask(CKTcircuit *, GENinstance *, int, IFvalue *, IFvalue *);
 extern int NBJT2delete(GENinstance *);
-extern void NBJT2destroy(GENmodel **);
+extern void NBJT2destroy(void);
 extern int NBJT2getic(GENmodel *, CKTcircuit *);
 extern int NBJT2load(GENmodel *, CKTcircuit *);
 extern int NBJT2mDelete(GENmodel *);
diff --git a/src/spicelib/devices/nbjt2/nbt2dest.c b/src/spicelib/devices/nbjt2/nbt2dest.c
index 8d35f8d1b..e3cf03312 100644
--- a/src/spicelib/devices/nbjt2/nbt2dest.c
+++ b/src/spicelib/devices/nbjt2/nbt2dest.c
@@ -14,21 +14,6 @@ Author: 1987 Kartikeya Mayaram, U. C. Berkeley CAD Group
 
 
 void
-NBJT2destroy(GENmodel **inModel)
+NBJT2destroy(void)
 {
-    NBJT2model *mod = *(NBJT2model **) inModel;
-
-    while (mod) {
-        NBJT2model *next_mod = mod->NBJT2nextModel;
-        NBJT2instance *inst = mod->NBJT2instances;
-        while (inst) {
-            NBJT2instance *next_inst = inst->NBJT2nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/ndev/ndevdest.c b/src/spicelib/devices/ndev/ndevdest.c
index 141da62c5..fb99e5a64 100644
--- a/src/spicelib/devices/ndev/ndevdest.c
+++ b/src/spicelib/devices/ndev/ndevdest.c
@@ -10,21 +10,6 @@ University of Science and Technology of China
 
 
 void
-NDEVdestroy(GENmodel **inModel)
+NDEVdestroy(void)
 {
-    NDEVmodel *mod = *(NDEVmodel **) inModel;
-
-    while (mod) {
-        NDEVmodel *next_mod = mod->NDEVnextModel;
-        NDEVinstance *inst = mod->NDEVinstances;
-        while (inst) {
-            NDEVinstance *next_inst = inst->NDEVnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/ndev/ndevext.h b/src/spicelib/devices/ndev/ndevext.h
index b09ad1727..78a4543ba 100644
--- a/src/spicelib/devices/ndev/ndevext.h
+++ b/src/spicelib/devices/ndev/ndevext.h
@@ -10,7 +10,7 @@ Author: 1987 Karti Mayaram
 extern int NDEVacLoad(GENmodel *, CKTcircuit *);
 extern int NDEVask(CKTcircuit *, GENinstance *, int, IFvalue *, IFvalue *);
 extern int NDEVdelete(GENinstance *);
-extern void NDEVdestroy(GENmodel **);
+extern void NDEVdestroy(void);
 extern int NDEVgetic(GENmodel *, CKTcircuit *);
 extern int NDEVload(GENmodel *, CKTcircuit *);
 extern int NDEVaccept(CKTcircuit *, GENmodel *);
diff --git a/src/spicelib/devices/numd/numddest.c b/src/spicelib/devices/numd/numddest.c
index 5b57327cd..35fecbaf8 100644
--- a/src/spicelib/devices/numd/numddest.c
+++ b/src/spicelib/devices/numd/numddest.c
@@ -14,21 +14,6 @@ Author: 1987 Kartikeya Mayaram, U. C. Berkeley CAD Group
 
 
 void
-NUMDdestroy(GENmodel **inModel)
+NUMDdestroy(void)
 {
-    NUMDmodel *mod = *(NUMDmodel **) inModel;
-
-    while (mod) {
-        NUMDmodel *next_mod = mod->NUMDnextModel;
-        NUMDinstance *inst = mod->NUMDinstances;
-        while (inst) {
-            NUMDinstance *next_inst = inst->NUMDnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/numd/numdext.h b/src/spicelib/devices/numd/numdext.h
index 30d5ab4b2..27919c0ed 100644
--- a/src/spicelib/devices/numd/numdext.h
+++ b/src/spicelib/devices/numd/numdext.h
@@ -10,7 +10,7 @@ Author: 1987 Karti Mayaram
 extern int NUMDacLoad(GENmodel *, CKTcircuit *);
 extern int NUMDask(CKTcircuit *, GENinstance *, int, IFvalue *, IFvalue *);
 extern int NUMDdelete(GENinstance *);
-extern void NUMDdestroy(GENmodel **);
+extern void NUMDdestroy(void);
 extern int NUMDgetic(GENmodel *, CKTcircuit *);
 extern int NUMDload(GENmodel *, CKTcircuit *);
 extern int NUMDmDelete(GENmodel *);
diff --git a/src/spicelib/devices/numd2/nud2dest.c b/src/spicelib/devices/numd2/nud2dest.c
index ad80b2070..c8b8c6817 100644
--- a/src/spicelib/devices/numd2/nud2dest.c
+++ b/src/spicelib/devices/numd2/nud2dest.c
@@ -14,21 +14,6 @@ Author: 1987 Kartikeya Mayaram, U. C. Berkeley CAD Group
 
 
 void
-NUMD2destroy(GENmodel **inModel)
+NUMD2destroy(void)
 {
-    NUMD2model *mod = *(NUMD2model **) inModel;
-
-    while (mod) {
-        NUMD2model *next_mod  = mod->NUMD2nextModel;
-        NUMD2instance *inst = mod->NUMD2instances;
-        while (inst) {
-            NUMD2instance *next_inst = inst->NUMD2nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/numd2/numd2ext.h b/src/spicelib/devices/numd2/numd2ext.h
index d22e7e95d..50c986417 100644
--- a/src/spicelib/devices/numd2/numd2ext.h
+++ b/src/spicelib/devices/numd2/numd2ext.h
@@ -10,7 +10,7 @@ Author: 1987 Karti Mayaram
 extern int NUMD2acLoad(GENmodel *, CKTcircuit *);
 extern int NUMD2ask(CKTcircuit *, GENinstance *, int, IFvalue *, IFvalue *);
 extern int NUMD2delete(GENinstance *);
-extern void NUMD2destroy(GENmodel **);
+extern void NUMD2destroy(void);
 extern int NUMD2getic(GENmodel *, CKTcircuit *);
 extern int NUMD2load(GENmodel *, CKTcircuit *);
 extern int NUMD2mDelete(GENmodel *);
diff --git a/src/spicelib/devices/numos/nummdest.c b/src/spicelib/devices/numos/nummdest.c
index 44bbdb70f..c68fb8ed5 100644
--- a/src/spicelib/devices/numos/nummdest.c
+++ b/src/spicelib/devices/numos/nummdest.c
@@ -14,21 +14,6 @@ Author: 1987 Kartikeya Mayaram, U. C. Berkeley CAD Group
 
 
 void
-NUMOSdestroy(GENmodel **inModel)
+NUMOSdestroy(void)
 {
-    NUMOSmodel *mod = *(NUMOSmodel **) inModel;
-
-    while (mod) {
-        NUMOSmodel *next_mod = mod->NUMOSnextModel;
-        NUMOSinstance *inst = mod->NUMOSinstances;
-        while (inst) {
-            NUMOSinstance *next_inst = inst->NUMOSnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/numos/numosext.h b/src/spicelib/devices/numos/numosext.h
index 818b4850f..db0975ffd 100644
--- a/src/spicelib/devices/numos/numosext.h
+++ b/src/spicelib/devices/numos/numosext.h
@@ -10,7 +10,7 @@ Author: 1987 Karti Mayaram
 extern int NUMOSacLoad(GENmodel *, CKTcircuit *);
 extern int NUMOSask(CKTcircuit *, GENinstance *, int, IFvalue *, IFvalue *);
 extern int NUMOSdelete(GENinstance *);
-extern void NUMOSdestroy(GENmodel **);
+extern void NUMOSdestroy(void);
 extern int NUMOSgetic(GENmodel *, CKTcircuit *);
 extern int NUMOSload(GENmodel *, CKTcircuit *);
 extern int NUMOSmDelete(GENmodel *);
diff --git a/src/spicelib/devices/res/resdest.c b/src/spicelib/devices/res/resdest.c
index 7e227b7d7..1d338c864 100644
--- a/src/spicelib/devices/res/resdest.c
+++ b/src/spicelib/devices/res/resdest.c
@@ -9,21 +9,6 @@ Modified: Apr 2000 - Paolo Nenzi
 
 
 void
-RESdestroy(GENmodel **inModel)
+RESdestroy(void)
 {
-    RESmodel *mod = *(RESmodel **) inModel;
-
-    while (mod) {
-        RESmodel *next_mod = mod->RESnextModel;
-        RESinstance *inst = mod->RESinstances;
-        while (inst) {
-            RESinstance *next_inst = inst->RESnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/res/resext.h b/src/spicelib/devices/res/resext.h
index b54e9e2fb..31c1f3a90 100644
--- a/src/spicelib/devices/res/resext.h
+++ b/src/spicelib/devices/res/resext.h
@@ -5,7 +5,7 @@ Author: 1985 Thomas L. Quarles
 
 extern int RESask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int RESdelete(GENinstance*);
-extern void RESdestroy(GENmodel**);
+extern void RESdestroy(void);
 extern int RESload(GENmodel*,CKTcircuit*);
 extern int RESacload(GENmodel*,CKTcircuit*);
 extern int RESmodAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
diff --git a/src/spicelib/devices/soi3/soi3dest.c b/src/spicelib/devices/soi3/soi3dest.c
index 869d12514..e6510283c 100644
--- a/src/spicelib/devices/soi3/soi3dest.c
+++ b/src/spicelib/devices/soi3/soi3dest.c
@@ -26,21 +26,6 @@ ngspice integration
 
 
 void
-SOI3destroy(GENmodel **inModel)
+SOI3destroy(void)
 {
-    SOI3model *mod = *(SOI3model**) inModel;
-
-    while (mod) {
-        SOI3model *next_mod = mod->SOI3nextModel;
-        SOI3instance *inst = mod->SOI3instances;
-        while (inst) {
-            SOI3instance *next_inst = inst->SOI3nextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/soi3/soi3ext.h b/src/spicelib/devices/soi3/soi3ext.h
index 0b3998efb..75f0f2a24 100644
--- a/src/spicelib/devices/soi3/soi3ext.h
+++ b/src/spicelib/devices/soi3/soi3ext.h
@@ -24,7 +24,7 @@ ngspice integration
 extern int SOI3acLoad(GENmodel *,CKTcircuit*);
 extern int SOI3ask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int SOI3delete(GENinstance*);
-extern void SOI3destroy(GENmodel**);
+extern void SOI3destroy(void);
 extern int SOI3getic(GENmodel*,CKTcircuit*);
 extern int SOI3load(GENmodel*,CKTcircuit*);
 extern int SOI3mAsk(CKTcircuit *,GENmodel *,int,IFvalue*);
diff --git a/src/spicelib/devices/sw/swdest.c b/src/spicelib/devices/sw/swdest.c
index 844012127..03f408c3d 100644
--- a/src/spicelib/devices/sw/swdest.c
+++ b/src/spicelib/devices/sw/swdest.c
@@ -9,21 +9,6 @@ Author: 1985 Gordon Jacobs
 
 
 void
-SWdestroy(GENmodel **inModel)
+SWdestroy(void)
 {
-    SWmodel *mod = *(SWmodel**) inModel;
-
-    while (mod) {
-        SWmodel *next_mod = mod->SWnextModel;
-        SWinstance *inst = mod->SWinstances;
-        while (inst) {
-            SWinstance *next_inst = inst->SWnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/sw/swext.h b/src/spicelib/devices/sw/swext.h
index 6131dea66..c134a2c58 100644
--- a/src/spicelib/devices/sw/swext.h
+++ b/src/spicelib/devices/sw/swext.h
@@ -7,7 +7,7 @@ Modified: 2000 AlansFixes
 extern int SWacLoad(GENmodel*,CKTcircuit*);
 extern int SWask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int SWdelete(GENinstance*);
-extern void SWdestroy(GENmodel**);
+extern void SWdestroy(void);
 extern int SWload(GENmodel*,CKTcircuit*);
 extern int SWmAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
 extern int SWmDelete(GENmodel*);
diff --git a/src/spicelib/devices/tra/tradest.c b/src/spicelib/devices/tra/tradest.c
index 44f8a8781..ae9f983ec 100644
--- a/src/spicelib/devices/tra/tradest.c
+++ b/src/spicelib/devices/tra/tradest.c
@@ -9,21 +9,6 @@ Author: 1985 Thomas L. Quarles
 
 
 void
-TRAdestroy(GENmodel **inModel)
+TRAdestroy(void)
 {
-    TRAmodel *mod = *(TRAmodel **) inModel;
-
-    while (mod) {
-        TRAmodel *next_mod = mod->TRAnextModel;
-        TRAinstance *inst = mod->TRAinstances;
-        while (inst) {
-            TRAinstance *next_inst = inst->TRAnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/tra/traext.h b/src/spicelib/devices/tra/traext.h
index 5ab08e43e..43a153249 100644
--- a/src/spicelib/devices/tra/traext.h
+++ b/src/spicelib/devices/tra/traext.h
@@ -7,7 +7,7 @@ extern int TRAacLoad(GENmodel*,CKTcircuit*);
 extern int TRAaccept(CKTcircuit*,GENmodel*);
 extern int TRAask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int TRAdelete(GENinstance*);
-extern void TRAdestroy(GENmodel**);
+extern void TRAdestroy(void);
 extern int TRAload(GENmodel*,CKTcircuit*);
 extern int TRAmAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
 extern int TRAmDelete(GENmodel*);
diff --git a/src/spicelib/devices/txl/txldest.c b/src/spicelib/devices/txl/txldest.c
index 76228dcff..84951d75f 100644
--- a/src/spicelib/devices/txl/txldest.c
+++ b/src/spicelib/devices/txl/txldest.c
@@ -10,21 +10,6 @@ Author: 1992 Charles Hough
 
 
 void
-TXLdestroy(GENmodel **inModel)
+TXLdestroy(void)
 {
-    TXLmodel *mod = *(TXLmodel **) inModel;
-
-    while (mod) {
-        TXLmodel *next_mod = mod->TXLnextModel;
-        TXLinstance *inst = mod->TXLinstances;
-        while (inst) {
-            TXLinstance *next_inst = inst->TXLnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/txl/txlext.h b/src/spicelib/devices/txl/txlext.h
index 1d36a298e..bd827956a 100644
--- a/src/spicelib/devices/txl/txlext.h
+++ b/src/spicelib/devices/txl/txlext.h
@@ -2,7 +2,7 @@
 extern int TXLaccept(CKTcircuit*,GENmodel*);
 extern int TXLask(CKTcircuit*, GENinstance*, int, IFvalue*, IFvalue*);
 extern int TXLdelete(GENinstance*);
-extern void TXLdestroy(GENmodel**);
+extern void TXLdestroy(void);
 extern int TXLfindBr(CKTcircuit*, GENmodel*, IFuid);
 extern int TXLload(GENmodel*,CKTcircuit*);
 extern int TXLmodAsk(CKTcircuit*, GENmodel*, int, IFvalue*);
diff --git a/src/spicelib/devices/urc/urcdest.c b/src/spicelib/devices/urc/urcdest.c
index cdfdc21f7..6c5587cb3 100644
--- a/src/spicelib/devices/urc/urcdest.c
+++ b/src/spicelib/devices/urc/urcdest.c
@@ -9,21 +9,6 @@ Author: 1987 Thomas L. Quarles
 
 
 void
-URCdestroy(GENmodel **inModel)
+URCdestroy(void)
 {
-    URCmodel *mod = *(URCmodel **) inModel;
-
-    while (mod) {
-        URCmodel *next_mod = mod->URCnextModel;
-        URCinstance *inst = mod->URCinstances;
-        while (inst) {
-            URCinstance *next_inst = inst->URCnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/urc/urcext.h b/src/spicelib/devices/urc/urcext.h
index e9a243005..52ce2cd72 100644
--- a/src/spicelib/devices/urc/urcext.h
+++ b/src/spicelib/devices/urc/urcext.h
@@ -7,7 +7,7 @@ Author: 1985 Thomas L. Quarles
 
 extern int URCask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int URCdelete(GENinstance*);
-extern void URCdestroy(GENmodel**);
+extern void URCdestroy(void);
 extern int URCmAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
 extern int URCmDelete(GENmodel*);
 extern int URCmParam(int,IFvalue*,GENmodel*);
diff --git a/src/spicelib/devices/vbic/vbicdest.c b/src/spicelib/devices/vbic/vbicdest.c
index 603da1a15..49938319e 100644
--- a/src/spicelib/devices/vbic/vbicdest.c
+++ b/src/spicelib/devices/vbic/vbicdest.c
@@ -16,21 +16,6 @@ Spice3 Implementation: 2003 Dietmar Warning DAnalyse GmbH
 
 
 void
-VBICdestroy(GENmodel **inModel)
+VBICdestroy(void)
 {
-    VBICmodel *mod = *(VBICmodel**) inModel;
-
-    while (mod) {
-        VBICmodel *next_mod = mod->VBICnextModel;
-        VBICinstance *inst = mod->VBICinstances;
-        while (inst) {
-            VBICinstance *next_inst = inst->VBICnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/vbic/vbicext.h b/src/spicelib/devices/vbic/vbicext.h
index aa2937494..8a820d3dd 100644
--- a/src/spicelib/devices/vbic/vbicext.h
+++ b/src/spicelib/devices/vbic/vbicext.h
@@ -12,7 +12,7 @@ extern int VBICacLoad(GENmodel *,CKTcircuit*);
 extern int VBICask(CKTcircuit *,GENinstance*,int,IFvalue*,IFvalue*);
 extern int VBICconvTest(GENmodel*,CKTcircuit*);
 extern int VBICdelete(GENinstance*);
-extern void VBICdestroy(GENmodel**);
+extern void VBICdestroy(void);
 extern int VBICgetic(GENmodel*,CKTcircuit*);
 extern int VBICload(GENmodel*,CKTcircuit*);
 extern int VBICmAsk(CKTcircuit*,GENmodel*,int,IFvalue*);
diff --git a/src/spicelib/devices/vccs/vccsdest.c b/src/spicelib/devices/vccs/vccsdest.c
index d93b54f77..6115e2532 100644
--- a/src/spicelib/devices/vccs/vccsdest.c
+++ b/src/spicelib/devices/vccs/vccsdest.c
@@ -9,21 +9,6 @@ Author: 1985 Thomas L. Quarles
 
 
 void
-VCCSdestroy(GENmodel **inModel)
+VCCSdestroy(void)
 {
-    VCCSmodel *mod = *(VCCSmodel**) inModel;
-
-    while (mod) {
-        VCCSmodel *next_mod = mod->VCCSnextModel;
-        VCCSinstance *inst = mod->VCCSinstances;
-        while (inst) {
-            VCCSinstance *next_inst = inst->VCCSnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/vccs/vccsext.h b/src/spicelib/devices/vccs/vccsext.h
index d59c753b0..8b6f2f2c6 100644
--- a/src/spicelib/devices/vccs/vccsext.h
+++ b/src/spicelib/devices/vccs/vccsext.h
@@ -5,7 +5,7 @@ Author: 1985 Thomas L. Quarles
 
 extern int VCCSask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int VCCSdelete(GENinstance*);
-extern void VCCSdestroy(GENmodel**);
+extern void VCCSdestroy(void);
 extern int VCCSload(GENmodel*,CKTcircuit*);
 extern int VCCSmDelete(GENmodel*);
 extern int VCCSparam(int,IFvalue*,GENinstance*,IFvalue*);
diff --git a/src/spicelib/devices/vcvs/vcvsdest.c b/src/spicelib/devices/vcvs/vcvsdest.c
index d183ec2ee..c287fc948 100644
--- a/src/spicelib/devices/vcvs/vcvsdest.c
+++ b/src/spicelib/devices/vcvs/vcvsdest.c
@@ -9,21 +9,6 @@ Author: 1985 Thomas L. Quarles
 
 
 void
-VCVSdestroy(GENmodel **inModel)
+VCVSdestroy(void)
 {
-    VCVSmodel *mod = *(VCVSmodel **) inModel;
-
-    while (mod) {
-        VCVSmodel *next_mod = mod->VCVSnextModel;
-        VCVSinstance *inst = mod->VCVSinstances;
-        while (inst) {
-            VCVSinstance *next_inst = inst->VCVSnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/vcvs/vcvsext.h b/src/spicelib/devices/vcvs/vcvsext.h
index 6edc7b1fd..a5ca450ad 100644
--- a/src/spicelib/devices/vcvs/vcvsext.h
+++ b/src/spicelib/devices/vcvs/vcvsext.h
@@ -5,7 +5,7 @@ Author: 1985 Thomas L. Quarles
 
 extern int VCVSask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int VCVSdelete(GENinstance*);
-extern void VCVSdestroy(GENmodel**);
+extern void VCVSdestroy(void);
 extern int VCVSfindBr(CKTcircuit*,GENmodel*,IFuid);
 extern int VCVSload(GENmodel*,CKTcircuit*);
 extern int VCVSmDelete(GENmodel*);
diff --git a/src/spicelib/devices/vsrc/vsrcdest.c b/src/spicelib/devices/vsrc/vsrcdest.c
index 093b86940..561b7c8f9 100644
--- a/src/spicelib/devices/vsrc/vsrcdest.c
+++ b/src/spicelib/devices/vsrc/vsrcdest.c
@@ -9,21 +9,6 @@ Author: 1985 Thomas L. Quarles
 
 
 void
-VSRCdestroy(GENmodel **inModel)
+VSRCdestroy(void)
 {
-    VSRCmodel *mod = *(VSRCmodel**) inModel;
-
-    while (mod) {
-        VSRCmodel *next_mod = mod->VSRCnextModel;
-        VSRCinstance *inst = mod->VSRCinstances;
-        while (inst) {
-            VSRCinstance *next_inst = inst->VSRCnextInstance;
-            FREE(inst);
-            inst = next_inst;
-        }
-        FREE(mod);
-        mod = next_mod;
-    }
-
-    *inModel = NULL;
 }
diff --git a/src/spicelib/devices/vsrc/vsrcext.h b/src/spicelib/devices/vsrc/vsrcext.h
index eb995fe6b..4e2ee8534 100644
--- a/src/spicelib/devices/vsrc/vsrcext.h
+++ b/src/spicelib/devices/vsrc/vsrcext.h
@@ -7,7 +7,7 @@ extern int VSRCaccept(CKTcircuit*,GENmodel*);
 extern int VSRCacLoad(GENmodel*,CKTcircuit*);
 extern int VSRCask(CKTcircuit*,GENinstance*,int,IFvalue*,IFvalue*);
 extern int VSRCdelete(GENinstance*);
-extern void VSRCdestroy(GENmodel**);
+extern void VSRCdestroy(void);
 extern int VSRCfindBr(CKTcircuit*,GENmodel*,IFuid);
 extern int VSRCload(GENmodel*,CKTcircuit*);
 extern int VSRCmAsk(CKTcircuit*,GENmodel*,int,IFvalue*);