FIXME, may be ok, but i'm surprised, txl really has only 2 nodes ? verify !

src/spicelib/devices/txl/txl.c

@@ -26,8 +26,8 @@ IFparm TXLmPTable[] = { /* model parameters */
 };
 
 char *TXLnames[] = {
-	"Y+",
-	"Y-"
+	"Y+",                   /* 1 */
+	"Y-"                    /* 2 */
 };
 
 int TXLnSize = NUMELEMS(TXLnames);

src/spicelib/devices/txl/txldefs.h

@@ -17,9 +17,13 @@ typedef struct sTXLinstance {
 
     IFuid TXLname;  /* pointer to character string naming this instance */
     
-        int dimensions; /* may we not need this but ... */
+        int dimensions; /* struct GENinstance.GENstate, not used here */
+
+    /* GENnode[] { */
 	int TXLposNode;
 	int TXLnegNode;
+    /* } */
+
 	double TXLlength;
 	int TXLibr1;
 	int TXLibr2;