}
+void mem_free_zero( void *pt )
+{
+ /* Martin A. Hansen, July 2008 */
+
+ /* Zero and then free memory from a given pointer. */
+
+ if ( pt != NULL )
+ {
+ ZERO( pt );
+ free( pt );
+
+ pt = NULL;
+ }
+}
+
+
/* >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> ARRAYS <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<*/