+ HOFSort = (sortNode) dmalloc (sizeof (*HOFSort));
+ HOFSort->kind = SRT_HOF;
+ HOFSort->handle = HOFSORTHANDLE;
+ HOFSort->name = lsymbol_undefined;
+ HOFSort->tag = lsymbol_undefined;
+ HOFSort->realtag = FALSE;
+ HOFSort->baseSort = NOSORTHANDLE;
+ HOFSort->objSort = NOSORTHANDLE;
+ HOFSort->members = smemberInfo_undefined;
+ HOFSort->export = FALSE;
+ HOFSort->mutable = FALSE;
+ HOFSort->abstract = FALSE;
+ HOFSort->imported = FALSE;
+